“The IRS help desk is staffed 24/7, 365 days a year, with the same number of employees on Christmas Eve as on April 14th.”