Retirement tax questions

They did not gross up the income.  That is the problem.  If they did that it would be easy. LOL.  They paid the lump sum full amount then had the relocation company pay the tax on that amount for him.  The taxes are not included on his W2.