anyone used the workshop 3000 sharpner? They sell for $200 bucks,found one locally for $80.00 almost new used once with all the accessories+ leather clad wheel. Rey in Texas