[ichweißeswirklichnicht]

Ja das ist mir bekannt, nur in einer anderen Werkstatt meinte man es
wäre besser die Komplette Pumpe zu Wechseln da die gerne mal den
Geist aufgibt bei der km Leistung. Ist dem So?

Ich habe zumindest nie etwas derartiges im Zusammenhang mit Minis
mitbekommen. Von daher würde ich "gerne mal" eher ausschließen.

Laut Krumm ist die Pumpe jedoch so beschaffen, dass die dann den vollen
Öldruck im Fehlerfall bringen sollte.

Genau davon würde ich auch ganz schwer ausgehen. Stichwort Fail Safe,
da ist in solchen Dingen zumindest so üblich.
.