Mein erster Gedanke wäre auch der Ölfilter gewesen, der ja nur handfest angezogen werden sollte, umso leichter kann dieser sich lockern.
Aufgrund meiner Paranoia würde ich das auch erstmal selbst kontrollieren wollen, woher es kommt, nicht dass dir hinterher die Werkstatt deren Fehler als weitere Reparatur aufs Auge drücken will.
Als staatlich anerkannter Pessimist gehe ich immer vom Schlimmsten aus, lasse mich dann aber gerne postiv überraschen.
Leider kommt das erschreckend selten vor.