Yes they do. I have had over 5 kits (REAL HK KITS). AS a demilled kit they sold for $3K. The barrel alone was $1500. Because they were so hard to fine. I started making the 9mm kits after market. I sold my last HK bolt and barrel to Grant Shaw CEO of SB tactical. He was trying to sell it. Not sure if he still has it. He will want to sell both I'm sure. Good Luck.