Our new pool was just completed however we have been advised by the paver installer that they need to redo the brick bullnose coping. When initially done the installers grouted the coping while others were cutting pavers for the deck. They believe dust got into the grout, grout is very discolored. They want to take out current brick coping and install new coping and grout. My concern is damage to our pool. Would we need to empty the pool? They said we would just need to lower the water about a foot. Wouldnt the dust be a nightmare? I just don't want to compound onto an existing problem with more problems. Any advice would be great!