Leider kann ich zu der Frage des TE nicht mit einer erschöpfenden Antwort dienen,
allerdings sollte es eine Tauchpumpe sein, lohnt es sich, eine Reserve an Bord zu haben,
wie ich aus eigener Erfahrung weiß.
Ist wie mit einem Reserverad, so lange man eines hat, braucht man es meistens nicht,
hat man keins, ist man bei einer Reifenpanne aufgeschmissen,
besonders nachts, bei Regen, an einem WE und jwd.
Wir hatten in userem ersten Wohnmobil, einem TEC Freetec 598, auch eine Tauchpumpe drin.
Auf unserer ersten großen Tour auf dem Weg nach Portugal stellte sie von einer Sekunde auf die andere ihre Arbeit ein. Sie war 2 Jahre alt.
GsD sah meine Frau in San Sebastian im vorbeifahren auf der Stadt-Autobahn einen Wohnmobilhändler, der zufällig so eine Tauchpumpe vorrätig hatte und sie uns innerhalb einer Stunde, eine Tauchpumpe von Reich, in einer orginal Hymerverpackung , einbaute und so unseren Urlaub rettete.
Seitdem hatte ich immer eine Reserve an Bord, sie aber nie mehr gebraucht.
In unserem Dethleffs haben wir eine Druckpumpe, die nur loslegt, wenn man einen Wasserhahn aufdreht, was ich sehr praktisch finde, denn sollte irgendwo mal ein Leck entstehen,
wird die Pumpe nicht aktiv.........
Leider ist ihr Geratter, wenn sie arbeitet, ziemlich laut.