I bet he is pretty sure.
Prior to 2010 on AFPS75 you were awarded an immediate pension after 12 years service if made redundant. In the lead up to the SDSR redundancies the rules were quietly changed via a Statutory Instrument to 18 years service from age 18.