I have no idea what size I used. But, if you mic'd the larger pin you could find the right size bit. I think that is what I did or I just eyeballed it. I did not have to drill all the way through the bolt face. You do not want to do that. I just kept drilling and fitting until it worked.

Sorry but I am no machinist.