Thanks, Shorty. Maybe I'll do that eventually but I'm not looking to do that right now. The walls are stone with mortal and are probably 100 years old. The biggest problem is that there is a steady flow of water into the pool that makes it really difficult to do cement work. I don't know, I'll think it over.