grindery

noun
  1. a shop or workshop where tools, cutlery, or other items are ground or sharpened
  2. Usage: chiefly British; archaic or historical
  3. materials and supplies used in shoemaking, such as heels, soles, and other components
  4. Usage: trade jargon; historical

Examples