He challenged the IRS head-on — and took out over 6,700 federal enforcers in one sweep.