Does anyone have any information (or an educated guess) as to how many of these were produced by Colt?