New home for Ohio man's pencil sharpener 'museum'