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.
7000 spidermans wow that's good going that's up with Williams in the 90's
Peter