There was this:
and this mysterious one:
http://www.amiga-hardware.com/showhardware.cgi?HARDID=57
Williams' Pinball 2000 machines, which were officially released late '99, consisted of two games: Revenge From Mars and SW: Episode I. The early prototype for the PB2K concept started in the early 90's (92-93 IIRC) by George Gomez and he used an Amiga 500 to drive the video display. Pretty neat bit of history there!