Thanks Peter! The pond is in the shade for most of the day apart from about half an hour in the earlier morning and about an hour halfway through the afternoon.
Just heard lots of splashing when I was doing some stuff in the garden. And a giant frog managed to climb out of the pond! It is most welcome as long as he leaves the fishies alone!