What to do when the armed IRS officers show up