So… assuming I have it right, rather than digging up my pool deck and making a mess, they could still just pull out the light from the conduit and seal it, because this burst pipe is just an electrical conduit, it doesn’t have to actually be intact, and as long as water is no longer making its...