Happy for the OP and the removed pencil marks. Have had luck with similar treatment for those. As to the ball point pen...I was going to suggest hair spray as well. Not sure I've used it myself but it is the 'go to' treatment that I have heard for decades. Good luck.