If a member has completed less than four (4) years of credited service at the time of his termination of employment as judge, he shall receive, in lieu of all other benefits he is eligible to receive, a refund of the member's contributions standing to his credit, when he attains the age of sixty-two (62).
T.C.A. § 17-528