Just to make your day:
I joined the federal government in 2000, at age 61. I then paid abount $350 to get retirement credit for 4 years Military Academy time. A year later I was eligible to retire - for the third time. Private industry sure didn't offer that plan!
Few folks can get a government job at the age of 61 except a newly elected Congress critter or one of her staffers, eh!