Pompa whale

[calajunco]

Mi si è rotta la pompa di sentina della doccia, una Whale a pedale che ha sempre svolto il lavoro in modo egregio.
Sono rimasto perplesso dal costo, circa 90 euro
http://www.osculati.com/cat/imgHigh/15.550.00.jpg
specialmente se rapportato alle autoclavi elettriche che costano quasi la metà.
Non mi spiego la differenza.
E sono indeciso se unire l'utile al dilettevole e sostituire la gloriosa whale con una pompa elettrica.
Che dite?