[papaventos]

Gracias pppitillo. En su día leí los hilos a los que te refieres, pero ya había descartado esa avería.
En efecto había una fuga en el enfriador del intercambiador (no sé como se llama tecnicamente) pero me refiero a esa especie de radiador por donde circula el agua fría dentro del conjunto del intercambiador. Se ha podido reparar, que es lo que no sabía si se podía hacer.
Curiosamente, lo que no hemos sido capaces de hacer es quitar el tapón de drenaje del circuito de agua dulce. Según el manual es una llave tipo mariposa, pero en realidad es una tapa de cabeza cuadrada, a la que además parece que le han puesto algún pegamento, van a preparar una llave al efecto.
Saludos.