It is some weird formula, which you should be able to find with a google search to get a rough estimate (I think it is years of service x 4.5 x base pay). Just as an example, I had 10 years and...