You are mean ... poor chap will need a little extra dosh to eke out his paltry 4-star pension.....
.... having some spare time and a calculator available, thought I'd put some figures on that .....
4-Star salary, between £165 284 and £185 184, depending on "Scale Point" (excluding CDS who gets more: £238 123 to £252 698 actually)
4-Star pension, between 45.4% and 50% of salary, depending on years served.
Net result: 4-star pension between £75 038.94 and £92 592.00