Title: Price list of machinists' tools