Over the entire span of production, of all types, I have heard a figure of roughly 2,500 in total. Gun tractors I have heard of a total of around 350. That's what I've heard. John Harrington, Military Vehicle Officer, of the AEC Society may have a better idea than me.