"From Shepherdstown: Of course, the IRS is a federal agency." . . . .