I seriously doubt that. 1000+ servers is a lot. The number of organisations worldwide running that many servers in any sort of coordination must be pretty low. Services (or "pods") sure, but actual servers? Can't be more than a few hundred companies, surely.
One would also think that by 1000-ish servers it's starting to make a lot of financial sense to move out of AWS anyway.
Amusingly, since there are only 200 comments, his statement is true simply by the luck of saying average: multiple companies that comment here are in the tens to hundreds of thousands plus servers range, bringing up the average for everyone :). That said, I'd be deeply surprised if the median was breaking 100. 100 dual-socket servers gets you a lot of compute these days!
One would also think that by 1000-ish servers it's starting to make a lot of financial sense to move out of AWS anyway.