[vkou]

> Didn't congress add 30bln to the IRS budget solely for this purpose

Given that the entirety of the IRS budget is 16B, that sounds unlikely.