I know in my State, it's not too unusual to retire early by using accrued leave to push out the actual retirement date. If he had 60 ( minus weekend ) days of leave, he could "retire" same day.