So we are ALMOST done with our pool. But they installed plaster last Saturday and today they are applying the sundek to the cement of our deck. Will this harm the plaster? It seems awfully messy and all of our scrubbing and religious testing seems for nothing. Is this the normal progression of pool building? The plaster, THEN the deck?