What Happens to Your 401(k) Investment Menu When the Tide Goes Out?