Hopefully he has enough money when he retires that his tax burden on withdrawal from a pre-tax 401k will be higher than that. Well hopefully it will be lower for all of us but I think that's unlikely.
So if he's making < 160k go for the Roth (this includes all deductions).