Looks like he may fall into the discontinued service retirement category.
http://askthelawyer.federaltimes.com/2012/11/12/most-fired-employees-remain-eligible-for-annuities/
Thank you!
Looks like health insurance is about the only real penalty. His MD wife and next job can easily cover that.
Unless he’s charged with a felony, looks like the lightest penalty they could come up with.