I had a muralist paint this John Lennon quote on my hallway wall. He freehanded it and did a fabulous job. Only problem is he left behind a lot of pencil markings under and around the letters. He attempted to hand-paint most of it away, but I can't help but notice a ton of pencil still left.

Is there a simpler less tedious way to get rid of pencil marks on a wall project like this? Before we take to covering the markings with the wall color, I just want to make sure I'm not missing an obvious option. Thank you.