WD40 does a lot of things including cleaning, but not long term stains.
Do not use pure acetone, although i can not think of any side effects except it will remove the paint too, the one used as nail polish remover will do nothing as it is diluted to much.
In all these years i have tried and tested a lot of things for all sorts of purposes like the only thing that will actualy remove rust from metal parts without doing any damage is winegar, used in salads. It needs a good rinse afterwards or it will rust all over again while you are watching it and thinking: wow this is clean.

Most usual cleaning i also do with WD40 and it leaves a nice shiny finish.
I did not know about that type of paint thiner till lately, but it does a perfect job. There are several other types of paint thiners that will not do much and beware of the oil based ones as they are..... well oily.
I can tell what type it is by smel, and this one has a distinkt acetone and alchohol smel, being the 2 main ingredients, not a surprise.
Regards,
Tom