Thanks. From what I've read doing a search, there are actually
plaster mixes I can use to patch it that will set underwater, so I
won't have to drain it at all. This is a pool that is in need of a
replastering in the next year or two anyway, so I'm not too concerned
with how it will look.