I'm sure it's happened but it isn't something that's going to be tracked, particularly if it happened 40 years ago.
Luck is great and maybe it continues and maybe it doesn't.
Those numbers aren't based off of skill.
I'm more of a Prime Number guy, I'm happy enough with 89.
Round numbers are for suckers.
Pretty disheartening they haven't managed to reach that relatively meager goal in 40 years.