Hallo Martin,
lasse demnächst die Ventildeckeldichtung ersetzen.
Dabei sollte auch gleich die Vakuumpumpe, welche hinten am Kopf angeschraubt ist mit abgedichtet werden.
Beides wird gerne undicht bei dem Motor.
Ist aber kein großer Aufwand und danach hast du wieder ruhe :-).
Wenn es schon tropft, würde ich nicht mehr allzu lange damit warten.
LG
Zombie