[happyraul]

> believe it or not, are even entitled to a tax refund from the US government.

From the IRS website:

> Your foreign tax credit cannot be more than your total U.S. tax liability multiplied by a fraction. The numerator of the fraction is your taxable income from sources outside the United States. The denominator is your total taxable income from U.S. and foreign sources.

So no, one is not entitled to a tax refund, because the credit cannot be more than the total U.S. tax liability.