Hallo,

habe mit WD40 auch gute Erfahrungen gemacht. Brauchts auch nicht viel von, wenn man die richtige Stelle trifft. Überschüssiges Kriechöl dann einfach abwischen.