Apparently wd40 works, however I have never tried it myself! So you may want to try a little on a non visible part of the doll first, to check the colour doesn't fade.
Hope this helps!
Hope this helps!