1. No payroll deduction shall be made from the compensation of any judge for retirement benefits after September 1, 1976.

2. Any judge holding office on September 1, 1976, who thereafter retires, shall be paid by the commissioner of administration the total amount of contributions paid by him under the provisions of section 476.525, not previously refunded, together with the interest as computed by the board of trustees of the Missouri state retirement system and this amount shall be in addition to any retirement benefits to which he is entitled. Any judge who fails to become eligible for retirement because of lack of service may at any time after leaving office request and receive his accumulated contributions and interest.

3. When a judge who is in office dies on or after September 1, 1976, the commissioner of administration shall pay to such beneficiary as the judge may have designated in writing, or to his estate if no beneficiary be designated, an amount equal to the total amount of contributions paid by him under the provisions of section 476.525, not previously refunded, together with interest as provided in subsection 2 of this section.

4. When a judge, as defined in section 476.515, requests in writing, the board shall pay to that judge within ninety days from general revenue all accumulated contributions made through September 1, 1976, and not previously refunded, plus credited interest to the date the payment is made by the board. Such refund of contributions and interest shall not in any way change any benefits or rights to which the judge may be entitled.