head bolt

So I am replacing my head gaskets on my 87 Bronco II. My friend who is savvy with vehicles offers to help, so we both get working he takes one side and I take the other to make good time. After we are half way done he says we have a problem and it turns out he stripped the head bolt. What should...