Maybe this item has been discussed before but if so, I missed it. I was at a gun show over the week-end and this guy had a sharpener called "Warthog"; quite a contraption. To make a long story short, I ,with some trepidation, handed him my 10 day old(to me) Benchmade Dejavoo. He put tape on blade to avoid scratches and proceeded to use the Warthog. I have to admit he got it super sharp! Has anyone had any experience with this item? Not sure what it would be like over the long run; think it had 3 settings and some add ons at additional cost. As I recall he was asking around $100 for it. Just curious.