We replastered our pool last summer We were going to close it but decided to replaster. We are now opening the pool should we drain the entire pool ? The pool company (not the ones that did the replaster) said to just do a regular opening? I am just worried about safety - I don't want the family swimming in plaster dust