never thought about it, but checked the stern site and they are still producing "buck Hunter, Iron Man, and Batman - probably home versions I am guessing
http://www.sternpinball.com/In_Production.shtmlwould be interesting to know how many machines have been made though for any one game.
