Does it make sense to diversify retirement assets if you are primarily invested in pre-tax assets?