Yeah, did a count over on AA with total number of pins owned by members (as stated by them) and it was 814 at the time, spread out over a considerable number of people.
One person owning over 2000 is just insane! It would be a full-time job just keeping them working if you had them all on display.