It is almost not really worth keeping track of Pinball world record scores.
Video games are fairly consistent from one game to another, a few variables such as ROM level, stickiness of controllers are about it.
Pinball games are mechanical and the variables from how one even brand new out of the box game can play dramatically different than another.
Once the games get more ware, the variables grow even more. Sure you can try to have all the settings at default, but the brand of rubbers, the coefficient of friction on the play field, flipper strength, return spring rates, and numerous other issues and untangables makes it not really worth it.
I agree it would be nice to know what a "ballpark" super good score on a say a MM is. But once again the score on a MM at say Papa and the score of a MM down the street are not super comparable since the variables and untangables very the difficulty by a huge amount.