Nick,
You see these on eGay from time to time, they sell for around $200 - $400 - for the ones made after 1970
They were made as far back as the 1920s and they are worth good money
Be careful as they also made reproductions
What's the general name for these sorts of games, ie the equivalent of "pinball" for a search?