I have lost a fairly large section of tiles around my pool this winter, about 30 6x6 tiles. I had a tiles person look at it (he does not specialize in pools). He said he would recommend having a pool contractor pop all of the tiles and plaster the area to coping. I have never heard of this. Any thoughts?