How much is saved by firing IRS officials who no longer have to enforce Husseincare? Could be trillions...
I think around 17,000 were hired.