Yes, first I figured out exactly what my pension should be, using my very complete collection of pay stubs/records over my career there.
Then before I retired, I checked with personnel and they independently came up with the same amount to the penny.
That was what I got.
In case anyone is wondering why I kept such a complete collection of pay stubs/records in my own files for so many years, it was for exactly this reason. I wanted to make SURE that I was getting exactly what I was due, no more and no less.
"You can never cross the ocean until you have the courage to lose sight of the shore." - - - C. Columbus