FMI, are those pensions fixed at that final figure, or are they adjusted for CPI or somesuch??
Some states use an average of the last 3, or 5 years salary to compute the FAS..others just use the LAST year..which is often inflated..there are so many abuses in the system. Do note that the number, whatever it is...is for a maximum, non-survivor annuity option..