Quoted from NM:Unknown: Stern doesn't publish official production numbers.
FWIW, the 2010 Mr. Pinball Price Guide shows an estimate of 4050 (with "rumor" in quotation marks beside the 4050 number).
Who knows.
Wow. As rare as this game seems to be I'd say the number is a lot lower than that. I would guess less than 1000, but what do I know?
To me this is a really fun game with an established theme and unique layout. I'd love to own one some day.