Hello guys and gals , I'm in a bit of a tight spot as my daily 96 civic 5 speed had gone down due to a blown head gasket now that isn't the real problem after tear down and clean up , as a friend of mine began to reassembly the head onto the block the ended up stripped the threads out of 1 head bolt hole , now I need some insight on how to fix it , I'm caught up as far as the head bolt is a 10mmx1.25 and that's the size thread insert I need but where I am stumped at is what size tap set do I need to clean out the remaining threads and make it large enough to successfully insert the 10mmx1.25 with there being no complications