Nachtrag: Hartmetallbohrer heißen die bei Reichelt. Die 0,8mm gibt es nur noch als 10er Pack für 25€. Ich habe noch irgendwas um die 3€ pro Bohrer im Kopf von meiner letzten Bestellung, geht also vom Preis.
Das klingt zwar erst mal teuer, rentiert sich aber. Alleine das einfachere Bohren. Und 2 Stück brechen dir garantiert bei der ersten Platine ab.