My thanks to all who advised.

I'll think on the answers but emptying and refilling seems the best option
considering the size of the pond and I'll do it hoping there'll be plenty of
rain to refill all my water butts afterwards.

Geoff