I am looking for a quality pencil sharpener. I once used an old cast hand cranked model that would put a point on like I have never seen before or since. Unfortunately I can't remember the brand. Does anyone have one in their shop that works exceptionally well?