87,000 IRS Agents with Guns?