Very good post, Jetty, but then your analysis is usually excellent.
The current Federal civil service retirement system (Not the one the talking heads on Fox Biz love to bash, which ceased to exist for new hires 30 years ago) is a pretty optimal mixture of a largely-optional 401K-like vehicle and a (Quite) modest defined-benefit program, integrated into Social Security on top of that, and it actually works pretty well (The older system which ended in the 80s, where Fox Biz financial commentators apparently live, was a rather high defined-benefit-only system that was, however, exempt from Medicare and Social Security). In fairness to the talking heads, a lot of state, municipal, and school system retirements are based on a system like the defunct Federal one, and they just suck at being able to make the distinction between those systems and the Federal one when they start blathering about the cost of government pensions.
The 401K-like part, called the TSP, matches the first 5% of employee contributions (So it's like throwing away 5% of your paycheck to refrain from participation), in a slightly nonlinear way, and allows the employees to contribute up to an additional unmatched 5% of their own. The six current investment options are extremely broad based and rigid (No cafeteria plan there), but range from a US government bond fund (Minimum risk but minimum return) to what is essentially an S&P index fund (The highest risk option but also definitely the highest return over the history of the program), with the employee having complete freedom to split both current contributions and existing balance up among the funds as he or she sees fit...but to only change it twice a month max, and with a (Real, not Pitt variety) '24 business hour' time to implement the change once it's put into the system.
Not much of anybody is going to get a million bucks from TSP, but a lot of aggressive and attentive people would end their career with between 200K and 500K in it if they maximized their investment and generally picked wisely in choosing and changing their allocations within TSP over the years. Damned few people could live on that for the rest of their lives, unless they cashed in their chips just a few years after retiring, but combined with the limited defined benefit (Which is in the same ballpark as the civil service retiree's SS paycheck if they drawn at the earliest opportunity) it is enough to retire in reasonable comfort, provided one did not spend one's working life blowing every dime and living on credit cards.