Ich habe eine billige Tauchpumpe im Wassertank liegen. Die gibts für 15 Euro bei Berger u.a. Der Austausch ist inzwischen Routine geworden, weil das Ding im Winter schonmal einfriert und dann nicht mehr richtig pumpt. Ich habe immer eine Ersatzpumpe dabei.
Schlimm wurde es erst, als sich oben am Wasserbecken der Schlauch gelöst hatte und ein paar Liter Wasser gegen die dortige Elektronik (Stromversorgung, Heizung, Kühlschrank) gespritzt war. Da musste ich erstmal alles sorgfältig trocknen und dann einen Neustart versuchen,der dann gottseidank gelungen ist.