This works on regular pencil marks so give it a try.
3 parts rubbing alcohol
1 part water
1 generous squirt of CLEAR dish detergent
Pour solution into a jar, tightly covered. This will last a long time.
When ready to remove the pencil marks, saturate a cotton ball with the solution and rub over the pencil mark. When dry, the pencil mark should be gone.