I doubt it. The taxes are paid by the leasee little by little every month.
So he was paying the tax. 9.25%.