The studs are a safer way to go.....And as for a head gasket I am recomending him somthing reusable just incase we find something else wrong and then he has 50-70 bucks down the drain because he didnt get good gaskets.
Joe I will try to find you some today ..