Larry, I can’t remember the name of it ... maybe something with “tex” or “tech” in it.
You can also use an artist’s Kneaded Eraser ... like a putty ... get at art supply store or arts & craft store.