Oh! And here are the saved operating instructions for a pencil sharpener. Wait, where does the pencil go again? Posted on August 14, 2009