I dunno, there are probably a lot of idiots in civil service, like any other walk of life, who didn't file tax returns, but unless they all claimed 14 or 15 dependents, it's hard to see how the IRS is really gonna squeeze that much juice out of them after all the actual withholding taxes that were collected from their pay get taken into account.