Well, a little google-fu shows that it was likely a British AR10, that was sent to Portugal and then returned to GB. After the firearms returned to GB, they were stamped "Tormented" to show they had rigorously been tested. After the proofing the AR10's were shipped to North American, where gun laws allowed private ownership.