Buenas, café y chupito que es hora
Comparto una experiencia "similar" este mismo verano; derivación en la piscina, cosquilleos al meterse en el agua y niños que no se quieren bañar por miedo.. revisión de todo, diferenciales, cables, todo todo. Como última solución nos aconsejaron cambiar la bomba pero a palo de ciego, "por si es eso"... Pues resulta que el problema era de la casa del vecino con un cable roto que iba enterrado, vamos nada que ver con mi instalación. Así que creo que podrías ir bien encaminado y quizás el problema venga de algún barco vecino ... Claro que desconozco si al ser agua salada tan buen conductor cualquier derivación de un barco vecino se disiparia o no rápidamente y sería imposible notarla en tu barco ...
Me mantengo a la escucha para ver la resolución
Suerte!