Yeah, this is a stupid suburban type issue. My general pond is deep enough and big enough that I don't worry about it. This is something the kids wanted to do next to the deck. Now we have to figure it out. Blah.
Good idea, I'll check it out, thanks! Our fish are pretty cool looking, mostly white, with orange and black spots. I'd be happy for someone to pay me thousands for them.