サウナというか採暖室みたいなのは公営の屋内プールにもよくあるからそれじゃね？