From your link Opie, "Over 26 years, her total estimated pension payout will be about $2 million. The bonus bumped up her total pension payout by about $30,000. But if her salary hadn’t increased at all in the final year, her total payout would be about $1.9 million, a difference of about $100,000.How much did she pay into the system? About $131,300."
I personally don't feel that taxpayers should make these people millionaires upon retirement.