"IRS Agents at the Border?"