IRS agents carry guns