The larger question is who does government serve: the taxpayers or the unions? That’s going to come up if and when Congress is asked to address the issue.
The irony is that most civil servants if asked would give back part of their salaries to solve the budget crunch. The exceptions would be those, especially in DC, who think their jobs meaningless but have no other options.