A proposito, è del 1992 anche se usata poco, se è partita la pompa, conviene ripararla ? non ho idea di cosa possa costare l'intervento.