Hi, my chef's knife has gotten dull and I need it sharpened. I always hear on Food Network and such that you should avoid knife-sharpening machines and use a professional service. I tried searching for one in my area with no luck, and Google local was no help either. I live near San Jose, CA. Can anyone on this board recommend a knife sharpening service for me?