Kurzes Update von mir:
Ich habe die Vakuumpumpe komplett erneuert und zusätzlich die Zylinderkopfhaube nachgezogen. Seitdem scheint alles dicht zu sein – keine frischen Ölspuren mehr an der vorher betroffenen Stelle.
Falls sich doch noch etwas zeigen sollte, melde ich mich wieder, aber im Moment sieht es so aus, als wäre das Problem damit behoben.