Thank you so much! I will get down there today and see exactly how big it is, whether it's viable to patch. You brought up something, though, that I wanted to also ask about now. You mention liners should have water in them in winter too? I had drained it in the fall. Should I fill it back up and leave water in it then? How do you keep it from getting nasty?