If enough ATCs quit that major airports have to be shut down or reduce flights, the airlines (and stock market) will turn against Trump pretty quickly. My guess is the going salary for ATCs is going to increase substantially once they realize they need to lure back those who quit.

I would love to see all ATCs in DC quit, and for others refuse to work there, so that Trump and Musk feel the consequences for their actions directly. Wouldn't it be great if Air Force One was stranded because of this.