Probably not even close to that cost. I think he said something like $10 billion to get it up and running. How much did Rio cost? Even if that estimate is way too low, I think it's a lot more money poured into people running around in tight clothing.