Doch, ist die Ventildeckeldichtung bzw. irgendwo dort wird das Öl rauskommen. Falls keiner rumgesaut hat oder sonst was...
Was anderes kann es da nicht sein wenn dort das Öl ist. Kann man auch selber tauschen, falls du es dir zutraust.
Wenn du schnell bist eine Stunde. Wenn du es zum ersten mal machst, rechne mit zwei Stunden. Besser langsam und ordentlich statt schnell und nacher wieder ran.
Ist aber relativ einfach! Würde eine Dichtung von Elring empfehlen.
Dann brauchst du noch etwas Dichtmasse wie z.B. Dirko rot. Gibt es bei Amazon.
Die muss einmal auf den beiden Übergängen vom Zylinderkopf zum Steuergehäusedeckel aufgetragen werden.
Sowie an den Kanten der beiden Halbmonde hinten am Zylinderkopf. Fertig.
Schrauben nach Gefühl anziehen oder einen kleinen Drehmomentschlüssel besorgen.