What actually works then, if WD-40 isn't a good idea?