The total is based on serial numbers. Approx 350-400 Mk1 players were made, and if the serial numbers are any indication, approx 4000 Mk2/2a units were made. Since the suppliers are pretty much all sold out, we have to assume that all the players were sold. The number of people owning more than one player is low, so I think 4000 owners is a decent rough estimate.