大家都用什么磨刀？

家里的菜刀有四五年没磨了。虽然咱不是经常下大厨，菜刀锋利不锋利还是分得清的。这里的同学们都用什么磨刀？在网上找了半天，看到John Lewis有个Knife Sharpener （163;14.50）, 没用过这种型号的，也不知道好不好用。