Not actually a world record (I think), but a pretty big coincidence:
My second and third all-time leading scorers are also my second and third all time leaders in official games played, and both have scored exactly 9454 points in 625 official games.
Seems like it will change soon-ish. And Falcione will break the 10k points.
Yep, Falcione will break 10k points, but I don't think he'll ever catch them at 625 caps.
The other two guys are 47 and 73 years old, only friendlies for them, so it looks like they'll stay at 9454 in 625 forever