That's just amazing! It makes me want to get a pool put in just so I can turn it into a pond. Thanks for sharing. On a side note, is the fish with the really long streamer fins/tail a type of koi?