Correct. It was a single table, or at least a version of it, from a Maxis pinball game called Full Tilt! Pinball.

https://en.wikipedia.org/wiki/Full_Tilt!_Pinball

It was developed by Cinematronics. These guys then had a deal with Microsoft to include Pinball (it was called as 'Space Cadet') for exposure. Later Cinematronics acquired by Maxis.

From https://web.archive.org/web/20190108095105/https://blogs.msd...

> Cinematronics was founded by David Stafford, Mike Sandige and I in 1994, and Space Cadet was our first published game

> The deal David did with Microsoft was non-exclusive. As Danny noted, we were more interested in the exposure and didn't see much revenue from it. However, it did lead to our relationship and eventual acquisition by Maxis.

It's not, unless you're confusing the Pinball game with the driver called Pinball.