2000 Stalkers in 3025

The Stinger, Wasp and Locust are the three most common light 'Mechs. They are a certain fraction of all light 'Mechs. Perhaps the most common assault 'Mechs (the Stalker, Banshee and Charger) are an identical fraction of all assault 'Mechs?

• Per TR:3025, "five thousand or more" Stingers survive to 3025. Adding Wasps and Locusts in the MW1e ratio of 51:42:32 should bring us to 12500 (5100+4200+3200).
• I count 55000 'Mechs total in 3025. BF1e says 30% (which is 16500) are light and 10% (5500) are assault weight. 
• Per TR:3025, about 500 Chargers, 5000/3 Banshees, and a larger but unspecified number of Stalkers survive in 3025.

12500/16500ths of 5500 is exactly equal to 500 Chargers, 5000/3 Banshees and 2000 Stalkers. That's a very plausible number of Stalkers; and if any of my premises going into this were wrong or arbitrary, the number shouldn't have come out as such a clean integer. I kinda wonder if the assault 'Mech fraction was picked first and then the light 'Mech fractions were reverse-engineered to match.