The Drill Doctor for sharpening drill bits. Do they work? Has anyone had any experience with them? Thanks, JRF