I have a ceramic knife that I use a lot but its definitely beginning to
lose its edge.

Are they worth sharpening, and if so, whats the best tool? Diamond file?
If so, what grade?

Tim


--
Please don't feed the trolls