87K? I hope you are joking, but I heard the IRS gets $$ in the new inflation bill, so maybe you are not.Let Florida and other red states form their own country, the Trumps' can lead them for life.
We can use those 87k IRS agents to recoup all the tax revenue we've subsidized red states with for the last few decades.