“ while workers laid pipe near a swimming pool” Ive laid some pipe by a swimming pool myself a few times…
J’acuzzi!