Thanks for that link! I haven't been able to find it locally anywhere. I'll order some when we can get back there.
It will be nice to have a little atrium pond. I've noticed water plants do grow quickly and have to be kept culled. I had a pond before with water hibiscus, and it grew so fast, I swear I was tossing it out daily! Yes, the fish will eat most of the water plants.