[function_seven]

I dreamed of having one of these when I was in high school drafting class!

They definitely were worth it over “acoustic” erasers, but cost something like $70. The few times I got to use one spoiled me.