RIP fish. Probably isn't a better way to just kill the fish and not other species. Its a lot of fish. If I had a pond I'd have taken them in a heartbeat. I wish they would have tried to find some homes for the goldfish and koi. I know if I were rich I'd be willing to spend thousands on a single koi, I'd have loved to take some of their fish for free as is.