Muchas gracias por todas las aportaciones.
Al final, después de valorar mucho las ventajas e inconvenientes de unos y otros y considerando que a la capitana ya le iban bien los actuales, me he decidido por poner otra vez los dos WC manuales.
He encontrado una muy buena oferta de Jabsco en Amazon y ya estan pedidos.
