“I hope he gets himself a good lawyer.”
Since he resigned I doubt he plans on challenging it.
I would guess the math went something like:
Resign: You get your pension.
Get Fired: No pension.
I would say he “Resigned” under duress.
Now he has time to go lawyer shopping, then collect back-pay when reinstated.