Metal Engraver tool -- write / etch /draw in steel , aluminum etc..

quality older Craftsman brand metal engraver. Has a sharp pointy tip , tool vibrates slightly and you write, draw etc.. in the steel. Mark your name in tools etc... Does a good job. Thanks, 608-332-7405