I’ve got one of those pencil vending machines sitting in my office right now.
When I was a teacher, I had it in my classroom because I was so tired of giving 7th graders pencils. Totally solved the problem. I’d love to sell it to someone that wants it but can’t find any takers.