Voila! My father suggested just putting each of his drill bits into the hole and whichever one works, we cut that one (#31, .120) and hammer it in - since he never uses that particular set as they're such odd diameters. Worked like a charm, and I ordered him a replacement bit anyway

