Thank you for your response!
I used WD40 because, of the household substances I had available, it seemed least likely to do any damage - I considered vodka, white vinegar and bicarb. solution, but, as I did not know if I was removing metal oxides, grease, general dirt, or what, it seemed worth...