One thing that hasn’t been mentioned anywhere that I noticed, is that many (most?) public employees aren’t covered by Social Security. I know SD cops aren’t. So when we’re comparing that $50K a year pension or $100K a year pension, compared to a private industry employee 401K, an adjustment of $15 to $20K a year for social securty has to be made.
And paramount, you can drop the talk of the Vernon guy. He’s not getting his $540K a year anymore. It was a mistake.