[spg]

Soweit ich mich entsinne hat der Mini doch eine elektrische Ölpumpe, die nach Abschalten des Motors das Öl noch weiter durch den Lader drückt. Das ist das surrende Geräusch aus dem Motorraum, das man nach dem Abstellen noch ein Weilchen hört.

Das ist die Wasserpumpe, die Ölpumpe ist Volumengesteuert über den Kurbeltrieb.