[Captain_Obvious]

Isn't the whole place, including the pool area, called "a sauna"?
Just like you're still inside the cinema when you're in the restaurant section instead of the room where the movies are playing. It's a name used for the entire building as well as the main part of it.

Semantics = serious business.