In calculating the annual retirement benefits under section six of this article for any individual who is appointed or elected for the first time as judge of a court of record of this state after the first day of July, two thousand five, the judge shall receive retirement benefits in an amount equal to seventy-five percent of the individual's final average salary. The individual is not entitled to an increase in benefits by virtue of any increase in the salaries of the offices of circuit court judge or Justice of the Supreme Court of Appeals.
W. Va. Code § 51-9-6d