Yes, great point and one that kind went to the side. Thank you for posting that. In recent measuring, it's actually 700 gal (not too much more).
That's likely one of the variables that changed the ecology the most. For one, we couldn't even identify the fish when it was so murky. We actually had 3 large koi , 2 small koi, and 25 goldfish. And I completely agree now that that's way too many. We lost one large koi this spring, and most of the goldfish to predators. Thinning out the population likely made the biggest changes.