Yeah, there's no mention of what occupies the level under the amphitheatre.
The "indoor/outdoor" aspect of the venue is provided by retractable walls, not 2 facilities.
... my guess is a casino.
And I'm not sure how many people will pay to visit the spa side of the complex, even in winter.
I would think a casino is rather unlikely.
But otherwise agree.