Hey, does anyone in the group use a belt sander to sharpen instead of a hard stone grinder? I'd like to hear some pros and cons of that system from someone that uses or has used it and switched to a stone.