高校生とか大学生だと、海や川、レジャープールに繰り出すようになるから、割とガチ勢が公営プールを利用することが多くなるのは事実かもね。