Describe briefly your pension. How long do you need to work to get X % of your salary?
I'll get about half my salary in a pension (indexed to inflation) upon retirement. I can retire at age 50 with 20 years' service (which I have). This is only for the Foreign Service.
Upon retirement, I'll continue in the government-subsidized health plan.
I've also got a 401K to which the government contributes 5% of my salary. It's done pretty well over the last 15 years.