re: Career Question

$20k per year extra pay?

Just assume you put $15k into your 401k for 30 years (assume 6% average return)
Future value = $1,257,000.

If you work 30 years for the government, what percentage of your annual pay do you earn?
I had a pension that would pay up to 80% of best 10 years income on a 30 year retirement scale.
That would be an annuity of $32,000 per year starting at age 62.

I think the decision is pretty cut and dry if you are looking at retirement options.