Hey Paul &Tom
WD40 will get it off, melts it, scrape off with putty knife. You can spray it, I do for leather or make a pad with paper towel, soak the pad and wipe.

You can remove it or smooth...