Yep, I now tease them about my pond and that fact that it is as big as
it is because they kept telling "know-nothing" me, 'make it bigger!'
That is how it came to be the size it is.

Perhaps they accidented into being right. Thing is, you (and the
fish too) are probably happier with it being bigger. Wish I had
room for 5,000 gallons, truly.

C//