$875 million would pay the salaries of 11,666 air traffic controllers for a decade at that wage.

You're off by a factor of 10 here. It's either a year of wages for 11666 controllers or 10 years of wages for 1166 controllers.