Nixing the 87,000 IRS Agents