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