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? Peter