(1) In lieu of the retirement allowance provided under RCW
41.40.620, the retirement allowance payable for service as a district court judge or municipal court judge for those judges who elected to participate under RCW
41.40.127(1) shall be equal to three and one-half percent of the average final compensation for each year of such service earned after the election. The total retirement benefit accrued or purchased under chapter 189, Laws of 2006 in combination with benefits accrued during periods served prior to the election shall not exceed seventy-five percent of average final compensation.
(2) In lieu of the retirement allowance provided under RCW
41.40.620, the retirement allowance payable for service as a district court judge, or municipal court judge, for those judges newly elected or appointed after January 1, 2007, and who are not eligible for membership under chapter
41.28 RCW, shall be equal to three and one-half percent of average final compensation for each year of service after January 1, 2007. The total retirement benefits accrued under chapter 189, Laws of 2006 in combination with benefits accrued during periods served prior to January 1, 2007, shall not exceed seventy-five percent of average final compensation.