I've read somewhere that it's possible to sharpen the carbide cutters on the Easy Wood Tools using a diamond file. Just wondering if anyone has done this and how effective it is. It's my understanding that carbide is extremely hard and once the edge is dulled, it's pretty much a matter of discard and move on. Any thoughts???