Thanks for the quick reply.

does that then necessitate the purchase of new rockers and new pushrods?

I dont think he is going to want to rebuild the heads because the motor is fairly new and it ran great up until the failure. He is also squeezed for cash and I (his main helper) am squeezed for time although you make that sound pretty easy. Any idea what it might run to have a machine shop replace the one stud versus replacing them all with adjustable type studs?