My international corporate tax law knowledge is also practically nil, but I believe there is discussion in Congress about a corporate tax holiday that would allow them to bring money back to the US at a 3.5% tax rate.