bjt wrote:
You may be right. On the other hand the effort involved in draining and
relining an 8' x 15' x 5' pond is a bit daunting.

Yeah, but compare that to the effort of continually draining, searching
for leaks, patching the leaks, refilling... A little preventative effort
relining the pond may be well worth it in the long run compared to
patching over and over.