The 401(k) Choice Many Don’t Know They’re Making