Exactly.
I suspect this is an incremental step toward that end. You typically exhaust all grievance and appeal avenues before suing. I hope he gets his pension, if not his job.