Hallo Thomas,
insofern Du das Boot nicht zerlegt hast, reicht sehr wahrscheinlich eine Handpumpe zum Nachpumpen.
Wenn jetzt irgendwann der Spätsommer kommt wirst Du sehr wahrscheinlich Nachpumpen müssen und kannst es Ausprobieren..
Ich habe mir mal eine Bravo angeschafft und noch nie benützt.
Die Pumpe ist zwar gut, hat auch einen Akku, aber mit Hand geht es bei Bedarf am schnellsten.