Information East Entered the pinball market place by obtaining the pinball division of Stern Electronics they usually exited by advertising their pinball division to Sega in 1994. Firms came and went, had been sold or just shut down, but here's a listing of quite possibly the most influential pinball manufactures https://vintagehallgames.com/product/doctor-who-pinball-machine