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.shtml

would be interesting to know how many machines have been made though for any one game.