Does the pool company need to be licensed?