I didn't either. But I have erasers that will do just as well, and you can carry one in your shirtpocket. Some years ago I wanted to make some stamps to stamp my work. Everything I tried was only suitable for large flower stamps or such, and would crumble with anything even reasonably small. Then ran across a sheet of stamp material, don't recall where I bought it now, but it was possibly Bick. Anyway, crumbled also. But for some reason decided to try a chunk as an eraser. It was fantastic, much better even than some quite expensive erasers. Gave a batch to my grand-daughter, but kept a batch also. Still got them, still use them, still the best erasers I have ever used.
And the guy could have made a smaller crossed lines, then would not have had to clean up anything, the drill bit would have taken out the lines.
"It ain't what you're told, it's what you know." - Granny Weatherwax
Some days, the supply of available curse words is insufficient to meet my demands.
Call me a craftsman, artisan, or artistic, and I will accept that. Call me an artist and you will likely get a quite rude comment in return. I am not a @#$%ing artist.