Several years ago I saw a formula in a quilt magazine for removing pencil markings. I don't remember it exactly, but I know it was regular dish soap, water, and rubbing alcohol. I used it several times and it worked. I used a Q-tip. You might make pencil markings on some scraps and experiment with it. Sorry I can't be of more help.