I've got a couple Boker pocket knives that are ceramic. I need to get them sharpened. Has anyone here ever tried sharpening ceramic knives? Can it be done with Norton stones or is it best to just pay the money and ship it out to get it sharpened?