Although using a metal file seems like an obvious thing, some people do it the wrong way. Indeed, most people do it in a sawing direction (back-and-forth), which is not the ideal technique. Instead, you should push the file forward, lift it off and push it again. This way, you get excellent results and file the surface quickly.