An sich ist das alles kein Hexenwerk.
Wie schon gesagt entweder Dichtung vom Deckel, Einfüllschraube oder Radialwellendichtring. Letzterer hat bei mir - obwohl erst 2.500 km alt - auch die Grätsche gemacht. Ohne groß Aufwand auch selber zu tauschen.
Würde auch erstmal alles sauber machen und beobachten. Bei etwas "Schwitzen" den Ölstand im Auge behalten und gut.
Meiner Meinung nach sollte eine Undichtigkeit in der Werkstatt für nicht viel Geld zu beheben sein. Würde mir da kein großen Kopp machen.