Now I think I know how to account for the taxes withheld in case of a rollover.   I will report "gross", box 1, report all the taxes withheld, and then "G" for the code and nothing for "taxable amount", box 2a.

But the question remains:  what to do with the amount already grossed up?  He probably should withdraw the excess(taxes) before the due date of the return.