Aren't you glad to hear that this IRS official can maintain her Texas residence (no state income tax, by the way) while having you and me pay for her to travel back and forth to Wash DC nearly every day?