System was changed in 1987. I suspect your neighbor was hired before that. If so he was “grandfathered in”. Reagan significantly altered (read reduced) the pension system for Federal Workers. People hired after 1987 don’t get that kind of deal.
But he did get a buy out at a young age. That wouldn’t effect his health care?