Ever consider that 87,000 armed IRS agents is the equivalent of 6-8 Army infantry divisions?
The Tax Corps
Minus the training and warrior spirit. Most of those agents won’t last two minutes in a real fight. Assuming they even show up.