Unless I was pretty sure that it would leak through the rocks and/or gravel, I would let it fill and see what happens. If you're not sure it's broke, I wouldn't try to fix it (yet).

It's not about the fish. It's about the pond. Take care of the pond and the fish will be fine. PB subscriber since before it was in color.

Without a sense of urgency, Nothing ever gets done.

Boy, if I say "sic em", you'd better look for something to bite. Sam Shelley Rancher and Farmer Muleshoe Texas 1892-1985 RIP Grandpa