BURNISHER

(n.) A tool with a hard, smooth, rounded end or surface, as of steel, ivory, or agate, used in smoothing or polishing by rubbing. It has a variety of forms adapted to special uses.