While it's awesome to find one that's been around a while, you can get new ones for $20 or less. I'd been finding broken (squished) ones in the thrift shops and finally broke down and bought one for my drawing pencils. So satisfying!
Ten bucks? I’d probably just grab a tape measure since I can never find one when I need it. Honestly, my manual pencil sharpener gets a lot of use.
X-ACTO Ranger 1031 Wall Mount Manual Pencil Sharpener,Silver/Black https://www.amazon.com/dp/B00006IEDY/ref=cm_sw_r_cp_api_i_hkYkFbERST8R2
came here to say this. It might not fit in a pencil case. but the hand cranked one is one of the most solid office products I own. 5 years and going strong.
Have you tried this one?
I have not, just wondering if anyone else has. Looks decent.
These seem to last for generations in schools. (And the Boston ones too.)
https://www.amazon.com/X-ACTO-Ranger-1031-Manual-Sharpener/dp/B00006IEDY
It is new, yes. And I got it from Amazon of course, as is the case with all things, alas.
https://www.amazon.com/dp/B00006IEDY?ref=ppx_pop_mob_ap_share I love it. Bought one for my mother in law
I'd do it like this.