If domestic is lower you would have to file for a refund from the taxing country, either is possible, check with you're accountant. If he says he has the answer without looking it up, doubt him. The IRS may be able to help if you can wait on the phone for 3 hrs as well.
