46 years in gubmint probably gets you 10 months a year vacation and sick days
Odds are good Hansen stuck with the old FERS system so the max on that retirement was hit at 40 years, and that pays 80% of your high three.
Not a bad retirement at all but folks it ain't a golden parachute either!