I thought your reserve retirement pay was computed using your "high 3". Are you assuming that as an O-4, his pay is maxed out at 20 years?

What If the OP had retired one year after making O-5?