Nun, es könnte auch sein daß die Servopumpe einfach einen Schlag hat.
Das war bei mir vor ca. 2 Jahren der Fall, die Pumpe machte Geräusche.
Dann habe ich eine gebrauchte vom E38 eingebaut, passt nämlich auch.
Kostenpunkt: 40€ für das Gebrauchtteil, 20€ beim Kumpel für den Einbau