ich würde sonst noch WD-40 empfehelen.
Das "Öl" ist richtig gut und riecht auch noch nett