Rare to have a 25m lap pool for serious swimmer.