Just to follow up, I installed the new cylinder studs using the following procedure: 1) cleaned the threaded holes, 2) put a light application of ThreadLocker Red on the ends with most threads, 3) screwed studs in and torqued to 8 ft-lbs. The special tool really helped out here. Long stud heights above the case surface were all 172mm. Short studs were 133mm and 135mm.