Moin,
so richtig
beim Ventile einstellen machst Du eh nen Ölwechsel, von daher passt das. Es sei denn Du hättest einen frühen 930/20 und würdest den permanent recht "scharf" rannehmen, dann wird ein Ventilspiel-Intervall von 10.000 empfohlen, bei Dir aber
ohnehin nicht der Fall. Spätestens alle 2 Jahre sollte es dann aber raus, da das Öl altert...
Gruß,
Dirk.