What form do we fill out in order to do that. He didn’t receive any tax form from his employer outside the US.
