I've noticed a couple spots in my pool where there appears to be a small chip or hole in the fiberglass finish. There are about 3 or 4 of them. They don't seem to be leaking (tho I haven't done the dye test), but I wonder if they could/should be repaired. I've noticed a place in the bottom of the pool that appears to have been patched/repaired in some way. Would the pool have to be drained to fix these spots? One of them is near the bottom in the deepest part of the pool. Another is on a step, and there is a very small one above the water line.