FERS (current Fed pension) is 1% per year of service of your top-3. So if I never leave and retire at 62 I will get 40% of my top-3 or $38,000/yr pension based on my current salary.
The Fed 401k program is pretty good with match up to 5%.
Problem is I am leaving $30,000/yr salary on the table...