It was pretty cut and dry at the time if I remember correctly. It wasn’t a difficult process, nor was the information difficult to find. Again, if I’m remembering right, it was right on their website. It was a number of years ago though, so I could definitely be remembering it wrong. I worked at a gun store / shooting range at the time and remember it being a big deal and we had customers asking US about sending their guns in for repair. So it was widely known they were doing fixes.