I have a reasonably large pond of around 10,000L which started leaking this year and has multiple holes in the lining. I’m in the process of sorting this out. All the fish are out, plants out and a few frogs, all in various baths and buckets in sheltered places. I’m clearing out the thick mud and not far from being able to put down the new lining. My worry is that we have a patio edging which will go down again over the lining and I worry about very small amounts of cement going into the pond. There are only 9 goldfish in the pond so not a lot, but I worry about them being out of the pond for too long . I can do water changes of their temporary pond, and it is buried so it won’t get too cold, but has anyone tried doing a pond edge with the fish in before?