Landscapers are back today. They think the leak is around one of the pylons so are re-doing it (pouring Emulsifier 93, I think they called it, down there too) plus lifting all the rockwork around the edge and coating the sealant higher underneath.
Pond holds approximately 6,600 litres (when it isn't leaking) apparently.