Totally agree. When I started public service 30+ years ago our pay was low enough that no one was ever concerned about how much we'd make in retirement. Fast forward 30 years and it's night and day since I started. I had a fellow employee who's father is a doctor say that we made more than him. Surprisingly he was right.
I also agree that most younger public employees have no idea about real world pensions, retirements or the need to save. Us older retirees know darn well at this point how well we have it.
If either myself or wife live to age 85, my retirement system will have payed out well over $3,000,000 to us. Age 95 and your looking at close to $5,000,000
Although most public retirement plans have since reeled in benefits to younger employees, it's still a nice plan pension to have.