The children, who are regular users of the open air, heated pool, were enjoying their second swim in it this season.
During the school holidays the pool is open every day from noon to 7pm.
Costs vary but an average swim costs $4 for adults and $3 for children.