Gremlin hit 10k at least twice. Carlos quit playing regularly awhile back. While he can update the Top 3 based on published poster images, tracking the 10k Club is impossible without checking in-game. So, his list may be missing some.
This is from one of his posts above:
"I'm not keeping track of the competition anymore, so in case any of you guys have hit a 10k+ or a 20k+ score, feel free to PM me with a screenshot of your score to add your name to the clubs."