For the current year ($ in millions), Centipede Corporation had $80 in pretax accounting income. This included warranty expense of $7 and $20 in depreciation expense. Two million of warranty costs were incurred, and depreciation deductions in the tax return amounted to $35. In the absence of other temporary or permanent differences, what was Centipede's income tax payable currently, assuming a tax rate of 25%