You are likely to find an electric pencil sharpener around in an office supply store