Your comment was just satire, right?
A couple of things that I’ve heard.
1. His retirement benefit is based on time working for the FBI not necessarily time working for the government.
2. He actually doesn’t lose his pension but that it is now deferred until he’s 57 years old.
3. I suspect that he will have little difficulty hooking on to some big firm for big bucks. Maybe Fusion GPS.
I could be wrong.