Gracias a todos.
Al final me lié la manta a la cabeza y compré uno nuevo, de la misma marca aunque una gama superior (tiene Sealock que se supone da un extra de seguridad si te dejas los grifos de fondo abiertos).
Pensé en ir cambiando por piezas, pero mínimo tendría que cambiar la bomba y la tapa, y ya solo con esas dos cosas se acercaba peligrosamente al precio de todo nuevo (y sin ser Sealock). Además con el riesgo de que al meterle mano necesitase alguna cosa más y al final me saliese más caro. Así estreno WC (no soy demasiado escrupuloso, pero un puntito sí tengo
).
Se supone que me llega la semana que viene. Cuando pueda ir al barco y hacer el cambio os cuento.