Time to make the 401k mandatory?