"There's about 47,000 IRS employees."
I believe it's more like 100,000 and their budget is in the neighborhood of $10 billion/year. That is actually small potatos compared to the compliance costs savings of hundreds of billions of $$$.
holy crap you're right -- over 114,000