Doesn’t end here. He will retire after boosting his last year’s employment with overtime, accrued sick leave, accrued vacation at age 55 with a $200,000+ annual pension with full medical coverage. Public service employees are the true 1% here in California.
That's exactly how the system is gamed. Retirement formulas generally make some sense, but then they are distorted by overtime and the like. And the solution is so simple. Make your retirement pay based on your base pay only.