In the end I went to a local fastener place here and got myself some 3/8" UNF high tensile grade 10 nuts, which I then installed with Loctite. It turned out the originals were of two (very, very slightly different) patterns, so probably not OEM. They looked to be in good nick, but the new HT...