pippin file

/P IH1 P IH0 N F AY0 L/
noun
  1. 1

    A kind of file (rasping tool) for work with keys such as impressioning.