Essential part of any toolkit - WD40. That’ll shift it.Remember Fred Wedlock and his Best Universal Grit, Grime & Effluent Remover? “If OMO won’t whiten it and Daz won’t brighten it, B.U.G.G.E.R. it!!”
Best bet for removing anything oil or grease related is paraffin. If you can’t find paraffin, go to Homebase or B&Q, buy a big bottle of barbeque fuel, think its the same. About 5 quid for 4 litres, will last a long time.
Paraffin - blimey just given me a flashback on up the road where I used to live when I was a kid, my nan’s heater was paraffin fuelled and we used to go up the road to get the bottle refilled from a token operated paraffin vending machine !