I read the term "professional" or "pro" with the upper end of various blade sharpening systems(Wicked Edge, TSProf, etc.). I know people use Tormek's professionally, there are numerous videos of professional blade sharpeners using them. Also belt sanders/grinders seem to be used quite a bit. But I can't find actual professionals using systems like the Wicked Edge, TSProf, or others like these. Are these systems really used professionally?