I have pointed that the guy should not permit to make $1.5w/y contribution to 401K because his salary too high based on my information about IRS' 401K rule.