Glossary “picking hammer” Definition:
Hammer with a pointed end used to raise small dents from the inside, and a flat end for hammer-and-dolly work to remove high spots and ripples.