Rob, the section you refer to credits service academy time towards retirement credit for the "CIVIL SERVICE RETIREMENT SYSTEM" and the "FEDERAL EMPLOYEES’ RETIREMENT SYSTEM". Neither of those are the military retirement system. For the military retirement system, service academy is not creditable.
DoD Financial Management Regulation 7000.14-R
VOLUME 7B: MILITARY PAY POLICY AND PROCEDURES - RETIRED PAY
Chapter 1
Section 010102 (regarding creditable time for enlisted members retirement)
Paragraph F. Service as a cadet or midshipman at Service academy.
Section 010103 (regarding...