I am retired Air Force Reserve and a former Civil Service Employee. Buy your time back for there is no cheaper way to get credit time to your annuity. It is inexpensive. My active duty time counted for both.
https://www.dfas.mil/civilianemploye...estimator.html
Get started. Delay may incur penalties.