Does anyone know if these weapons were ever made for export, and if so, who got them?