Anyone gone through this? Doesn't appear to be in the pool (plaster/gunite) itself but rather somewhere in the plumbing surrounding the pool...and probably under the concrete pool decking. I've talked with a few leak detection companies and the pool company so have an idea of steps to take but figured I'd seek advice as well. Thanks!