Warum nicht nicht gleich Waschbenzin verwenden?
Wär vielleicht auch eine Option, nur hab ich das noch nicht ausprobiert. Warum mit Waschbenzin rummanschen wenn man WD40 sowieso im Haus hat weil es vielfältig einsetzbar ist, es sauber dosieren kann und fluten muss man Waffen auch nicht gleich, von der Entzündungsgefahr mal abgesehen.