Ich würde den Grat vorsichtig mit einem scharfem Stechbeitel entfernen.
Ansonsten, weil das Thema ja Schrauben ausbohren war, es gibt auch Spiralbohrer die "links" rum schneiden ( https://www.bohrerdiscount24.d…in-338-hss-g-linksbohrer/ ) . Damit bohrt man dann ein neues Kernloch in die abgedrehte Schraube, meist löst sich dabei schon der Rest der Schraube und das Gewinde ist gerettet. Mit den sogenannten Schweineschwänzen hab ich eher schlechte Erfahrungen gemacht, meist durfte das Werkstück nach dem Versuch mit dem Ausdreher zur Erodierung, das war immer teuer und langwierig.
