Maybe it's mentioned below and I haven't gotten that far. There was a link to another message board from the gun shop owner who sold him the gun. (looks legit, since everything he said matches what has since been released, including the name.) He said that all the paperwork was in order and everything had been handled legally.
bump for later