I've been watching a pool being built down the street and noticed they put some type of sealant or epoxy around all of the plumbing pipes. I'm assuming it helps seal it. Does anyone know what it's called or where I can buy it. I'm building my own inground gunite pool in South Carolina.