He will still get his 401K and probably a lucrative book deal.
I thought .gov drones didn’t participate in 401Ks. They have a Thrift Savings Plan, which is voluntary. Don’t know if he contributed to his TSP ....