I have an EX/EX stone. While watching the diamond setter does his work, I noticed that he used a metal file to shape the prongs right on top of the crown facets of the diamond. Will this hurt the polish of the stone. Will it scratches the stone? I know diamond is hard but can''t you scratch a shinny and polished surface with a metal file?