[Vwdiesel] Head studs

[The Lecrones]

I recieved my head studs from ARP. They look very good and are 190,000 psi.
The washers are ground, the nuts look nice and the threads feel very
smooth.They will make a stud kit up with the 12mm dia. up far enough to
catch the head gasket.I feel that this might help keep the gasket centered
better and they are a little shorter. They will make these for  $14.82 each
if we buy 5 sets and $9.03 if 10 sets are bought.The ones I bought are
undercut down to the 12mm threads and about 1/4" longer which is not a
problem. They were $228.05 with shipping for two sets.
They say to torque the nuts to 80 ft. lbs with arp moly lube. What is the
torque on the raceware studs with there assembly lube?