Die externe Pumpe ist ja nichts besonderes,die tut auch in PKW
ihren Dienst,von daher würde ich auf eine leichtere Beschaffung tippen.