Here’s a patch for Space Pinball that resets the score to 0 when a new game is started. Until I figure out how to hack in a puck counter, this should be the solution for getting fair high scores without having to reset the game after losing the puck.