Aren't there 254 different brands of guitar polish that are, you know, made to do this?
That's actually a great observation. Never thought of it since I don't use that stuff.
If it were me looking to remove a similar stain I think I'd check with the local guitar store or a local luthier for a recommendation on which one to use. They probably get that question a lot. Might be the best solution of them all.