I have some hook sharpening "stones" that are really fine ceramic chips about 1 inch square. They were bought many decades ago and work superbly. I think they work even better than the diamond manicure tools. Are such ceramic "stones" available today? Thanks.