In 2004 it was estimated the tax holiday brought back $300B, and I would expect it to be a bit higher this time. But there was no burst of inflation in 2004 so I wouldn't expect one this time either.
Given every citizen $1k like in the futurama episode. Or use it to fund meals on wheels for a century.
They don't? That's news to me. How do you invest in a U.S. company without bringing the money into the U.S.?