Don, OK but I did say "about" 5000. Including your numbers, here are the numbers I've recorded for existing High Power rifles:

2628
2838
3056
34xx
3856
4011
40xx
4837
5201

If 10,000 High Powers were produced that's fine, but I think it is interesting that of the nine serial numbers we currently know, only one is over the 5000 mark. I'm not a statistician, but if 10,000 were produced wouldn't an equal number of guns with serial numbers over 5000 be represented in our sample, instead of the 8 to one ratio we see here? smirk
Peter