So that's $713 million in tax that Apple has to pay to the US Government on earnings in foreign markets that Apple has already paid taxes on in the respective market. Yea, I'd try to minimise giving away money to the US, or any Government for that matter, as well.