Armed IRS police?