As an ex Head of Service does he not remain on the Active List and thus receive full military pay?
Pretty sure that he's on half-pay, rather than a pension, but the rules may have changed. I think it was the case that 4*s retired on half-pay, while 3*s took a pension which was higher than the 4*s half-pay!