Utah Code Ann. § 49-11-402
(1) A member who is absent from employment with a participating employer by reason of an official call to full-time United States military service may receive service credit for that military service as follows:
(b) prior to a member's retirement date, the required payments shall be made:
(2)
(4)
(b) If the recalculated cost exceeds the amount paid for the purchase, the member may:
(6)