Thanks SMJ. As these aren't 'stretch' bolts (I assume, due to the low torque and being grade 7 fasteners) I won't be replacing them. However, I will apply some thread sealant, as it does look like the end of the bolt comes out of the transmission casing, and there could be an opportunity for the end...