Varför inte laga det istället? Köp en reparationssats (kostar typ 200 kr) och byt tätningarna. Det är enkelt, men var noga med att titta åt vilket håll de sitter, och i vilken ordning. Är ju skönt att slippa hålla på och strula med pluggning, tätning och elpumpar som strular och drar ström. Repsatsen är nog billigare än en pump också.
Byter man tätningar så lär det hålla längre än bilen i övrigt sedan.