I just did this on a brand new pack of woodsmans (the regular not the elites). Instead of a file I used a belt sander we have here in the shop with 600 grit belt and coolant so the heads didn't get hot enough to change the temper on the steel. Before I started out of the package I checked them for weight and they all came in around 130 grains. After taking them to the belt sander and getting the edges flat I ended up with 123-128 grains (some needed more help to get flat than others). What shocked me is the 130 grains out of the package. Maybe they did that because of the fact they need so much rework to get them good and sharp. After the belt I used a 325 grit DMT diamond stone, 600 grit DMT diamond stone, 1200 grit DMT diamond stone, and finally a ceramic stone to fine tune them to a hair popping edge.