I can't say one way or the other but I've also heard he's really pretty cool.
They removed Billy Mitchell's scores from their ranking: https://kotaku.com/twin-galaxies-removes-former-donkey-kong-champ-billy-mi-1825211232
It's amazing how expensive those machines have become. 35 years ago, I had a friend who bought Pacman and Donkey Kong for about 200 each (used). I get it to some degree with Pinball (because most of the old tables are no longer made and reconditioning them can be expensive), but for old video games, they're dirt cheap for them to make them. I assume the most expensive components are the monitor (which is still pretty cheap) and the housing. I'd be more inclined to spend the bucks on pinball over a video game (though I think most older pinball machiens are more than 2100). I def wouldn't buy a pinball machine on Ebay. Gotta see it an play it to put out htat kinda cash...not sure about a video game.
Billy didn't even have the high-score at the time.The King of Kong was scripted ^^ it's staged / fiction