Other possibles to try are white spirits/paint thinners, or acetone/ nail polish remover.
Be careful they don't damage the surface, best to test on an unseen part first.

Depending on the finish you could sand or polish it off with high grit sand paper, or even maybe rub with toothpaste as a very mild abrasive/polish.