I think if you pay the tax in your home country you get a credit against the us income tax owed. I should know this as Im studying tax law but i dont
This is what I think. He would file a non resident return. Receive a credit for foreign tax paid. I don't know the tax brackets for non residents.