理发师傅用什么磨刮胡刀？

当剃须刀变得不那么锋利时，理发师不可能拿块石头在那给客人现场磨刀等待，那样太浪费时间了。