Are the outdoor swimming pools real or a set?

When Mitchum and Greer arrive at the hotel they speak to someone by an outdoor pool complex that looks amazing.

Does anyone know if that is a real location or if it was built for the film? If it's real does it still exist? It looks like great fun to swim in, especially the lake pool.



Go to bed Frank or this is going to get ugly .