Those guys are on the old retirement plan, the new one isn't quite the windfall.
The TSP is just as crappy as most private employers 401K plans. That's why I plan on becoming a hitman for hire or a mid-level coke dealer when I get put out to pasture. Werst case scenario I follow my dreams of being a stunt cock double in Hollywood.