He should find what his annual interest is on the mortgage and pay that towards the principal, then throw lump sums at it when it suits him, then put more into either his 401k or some type of Roth.
My thought was to pay it off for peace of mind / closing a task and reduction in monthly output over the long term. If the person can afford it, I like the idea.