[defrost]

Certainly not per year.

Operating costs 2014-2023: https://www.irs.gov/statistics/irs-budget-and-workforce