Vielen Dank, habs hinbekommen.
Musste mich anfangs dann noch mit einem störenden Zwitschergeräusch rumärgern, aber ein kleiner Spritzer WD40 auf die Welle der neuen Pumpe hats dann direkt behoben.