Glossary “shrinking hammer” Definition:
Special hammer that is used to shrink spots that have been stretched by excessive hammering.