Bohrerschärfer – professioneller Bohrerschärfer für alle Bits, elektrischer Bohrerschärfer, Bohrreparatursatz zum Schleifen