Maybe that’s why they can retire in 20 years.
Probably more a union negotiation point, but given what can happen over 20 years, maybe not a terrible idea.