I forgot the brand name of a German drill bit I used in the past with good results. I believe it begins with "G" I've searched the forum every way I know with no results. I need to drill a number of 3/32" holes 1/2" deep in 4140. Am thinking of carbide tipped bits.