Quickly, when we did our analysis, it was determined to be cheaper in the long run. It would have been $1 billion if we'd paid for it and run it over 35 years. We are contracting them to do food services, security, and a few other services in the building for 30 years—property management—and they're going to do the property management on our old building for 35 years.
At the end of the 35 years, it all reverts to us. It will be $750 million by the time we're done, compared to $1 billion if we'd done it straight up.