"Gary Drescher" wrote in message
...

I wouldn't settle for less than total removal, though--no mere
polishing-smooth.

Agreed, removal is the best practice by far.