I have a fellow collector that has a near mint (98%) MK 1 pistol. It is U.S. marked and presumably was shipped to the Raritan Arsenal in New Jersey in 1956 together with 3999 other guns like it. It is also possible that is an overrun that sold on the civilian market, but in that case, it should not have U.S. markings. If anyone has any additional information for him, please share it with us.