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.

Me too, I have tried to check how many Spiderman machines have been made, the best I can get is around 7000 not 7040 or whatever...around 7000.