Looking for input here before I push further with the contractor. Just had our pool replastered and my recollection was the old plaster was flush even with the plugs (I presume these are hyrdostatic valves/plugs or some sort). The new plaster appears to come above and there are "divots" around the plugs. They don't even look smooth. See attached pictures. Is this normal?