How would the 18th century gun smith finish brass parts. I know that a file would be used to get the part to final shape, and brick dust would be used for the final polish. What was used after the file to get rid of the file marks, so the brick dust can do it's work?