Hi I'm new to the forum and I am in the process of restoring an old 1945 or 1946 9C. The half nuts are missing and these are the last pieces I need. An old army manual shows the 9A,B and 10K having the same half nuts with part #AS72NK1. There seems to be a lot of experience in this forum and I am wondering if anyone knows if the half nuts for the three machines are interchangeable?