"Das mit dem 'kein Schmierstoff' sollte man in dicken Lettern drauf schreiben."
Keine Sorge: immer und überall, wo jemand "WD-40" erwähnt, kommt sofort der Hinweis, dass das ja nicht zum Schmieren ist. Auch dann, wenn derjenige gar nicht schmieren, sondern etwas (Rost) lösen will - zum Beispiel Radmuttern oder wie in diesem Fall, einen festsitzenden Hebel.
Alles hat seinen Zweck und WD-40 gibt es ja nicht umsonst.