Are these the same as gummi stones used by ski techs for removing burrs?