Has anyone tried the Drill Doctor bit sharpener? I was wondering how well they work and if they work on diversabits. I am getting tired of my bits always being dull and I'm thinking of buying the 750 which is their best model-sharpens bits up to 3/4 inch. Heck if it will restore diversabits it will pay for itself pretty quick.