The Fed retirement system was revamped in the 80s. The new one includes Social Security and is not all that generous. No more retiring at 80%. I think it’s 1% per year. Fed Retirement is nothing like these insane deals you see in the States and cities. My brother retired after 30 years as a civilian engineer for the USAF and I think he gets about 1500 per month from the Fed plus SS. Hardly a fortune. Plus 55 age retirement is done.