The following provision shall apply to creditable service as defined in s. 121.021(17): no creditable service which remained unclaimed at retirement may be claimed or purchased after a retirement benefit payment has been cashed or deposited.
Fla. Stat. § 121.085