Ok I guess we're looking at shimming between the coping and top of the walls. My issue with that is liner distortion, seeing as the return jets and skimmers are already installed. I'm a bit uneasy about this. Should I let them go ahead with their work and stay out of the way, or is there another option?