Wenn der Kratzer nicht zu ausgeprägt ist würde ich es lassen.
Ansonsten warte bis die Uhr zur Revision muss, dann wird alles (neue Dichtungen ,Aufarbeitung des Gehäuses )in einem Abwasch erledigt.

Grüsse Mick