To remove gunk, stickers, residue, smushed bugs, oil, tar, etc.
I have always started with wd-40.
Have not found any surface that it harms,
and it will remove a surprising number of things.
If the wd-40 will not cut it, I move on to something stronger