Update: Ich hab heute mal wieder eine weitere Runde gedreht. Der Öldruck ist dabei im warmen Zustand nicht unter "12 Uhr-Stellung" abgefallen, laut Handbuch also noch völlig ok. Von daher werde ich da erstmal nix weiter unternehmen. Es kann natürlich sein, dass es bei wärmeren Außentemperaturen nochmal interessant wird.
Bis dahin sind aber erstmal noch einige andere, wichtigere Probleme aufgetreten.