I’m looking to get a pencil grinder. I’ve only ever used a Dotco, but $450 is way over my price point. I was looking at die grinders on Amazon, and saw that Astro Pneumatic makes a pencil style grinder. Has anyone ever used these? I’m a bit concerned with quality, because they offer them in...