Yep, and those Stockton-style pensions...
The bad part for them is a Republican Congress can cut them whenever they choose.