The FAQ entry included the 300-or-so Mark1 players manufactured, and the about-4000 Mk2/2a players manufactured. This was total manufactured and existing on the planet, not total sold.

Note that these figures are based totally on reported serial numbers and are just a guess.