Did they even try to get the law changed?

That law has exemptions (eg for the USPS). If they put zero effort into asking legislators to permit the IRS to ensure that the tax payers money doesn't just turn into a subsidy for corporations, they're assholes.