All this talk about card scrapers and possibly router bits ~ wouldn't
it be easier to apply a small dab of stripper, remove the finish in
that area and then if the pencil marking is still there, use an eraser
on it?