Don't know about the pencil that you mention but try this on a scrap.
Mix 3 parts rubbing alcohol, 1 part water and a generous squirt of CLEAR dish detergent. Saturate a cotton ball with the solution and dab this on the pencil lines. When dry, the pencil lines should be gone. This works on marks from a traditional pencil.