Does the pool shell have to be dry before they can plaster? We have a foot of water standing in the bottom of the pool and they are coming to plaster in the morning. If they pump it out in the morning will that be ok. My wife read in a book that the shell must be dry or the plaster will come off.