>>664
プールそのものではなく、更衣室とかシャワー室、監視員の待機室とか事務室とかも諸々あるから。