C.R.S. § 24-51-406

Any member of the judicial division who was a member of that division on or before July 1, 1973, and who retires from the judicial division with more than sixteen years of service credit may elect prior to retirement to receive, within ninety days following the effective date of retirement, a payment of the member contributions and interest together with matching employer contributions, calculated pursuant to the provisions of section 24-51-408 (1), that are associated with the service credit earned during the seventeenth through the twentieth years. This payment shall negate the service credit earned during those years.