Replying to
So a quick search suggests air traffic controllers make around $75,000 annually. $875 million would pay the salaries of 11,666 air traffic controllers for a decade at that wage.
Even considering inflation, training, medical, etc that $875,000,000 could pay for thousands of hired Amemricans for a decade. Republicans are literally the worst.