My read of this article https://www.bbc.com/news/articles/cj41pgpk0wgo ("US Senate passes funding bill as historic shutdown nears likely end") is that this is no longer relevant? ie shortly they will all be paid and back to work?
I mean it’s the most stressful job on the planet. Hundreds of lives in your hands total concentration at all times.
Grueling hours. Sure it pays but is it worth getting treated like dirt?
Probably not. There’s already a chronic staffing crisis. If even a handful quit the whole thing could fall apart.