[youreincorrect]

Agreed. I would add that he probably shouldn't be budgeting to have that money go into his 401k in the first place. He's paying more in tax + penalty to do this.