[TedDoesntTalk]

Everyone is mentioning Stern in the comments, but Jersey Jack pinball is superior in many ways (and costs more). Don’t ignore them if you’re looking to buy.