One of our colleagues took it as a personal secret project to slowly go through all 1000 possible codes and collect the names of the people, just for the kick of it.

Just an FYI it's 10,000 codes, not 1,000. 0000-9999