A variable rate pension that as of 2002 amounted to $41,000 to $55,000 year on average, with a cap at 85% of their salary, WITH cost of living adjustments. All for which they pay out a total of 8% which also covers their social security. They get that too if they qualify.
As if that wasn’t enough they have the equivlent of a 401k that is matched at 5% by you and me.