Have you tried WD40? That dissolves a surprising range of gunk. Or automotive degreaser?
Petrol will dissolve most gunky things if you get desperate, but is a terrible fire hazard. Ventilate well and have all electrical equipment switched off if you must use it.
Edited By Hopper on 11/07/2018 07:50:20