I can confirm that when I went on the Grand European in October, we did use the Szechenyi. I believe they only use the other baths when the Szechenyi is fully closed, as one of the baths was closed for renovations during our time but the spa was still fully open.