IRS agents carrying shotguns not a big deal?