What's the purpose of recessing the gunite around the plumbing pipes. I've had one contractor tell me they fill this void with hydraulic cement and then put a bead of 3M 5200 sealant around the pipe. Another pool company applies epoxy around the pipe (see pict), and another one told me they just fill that void with the pool finish. What's the proper way?