Se desconoce cuántos de estos fusiles fueron exportados a Libia y por quién.