When is Pension more valuable than employer matching investments? Deciding on new job with an eye towards retirement