From AMD email:
2 MODELS AVAILABLE
WWE WRESTLEMANIA PRO PINBALL - $7850.00
WWE WRESTLEMANIA LE PINBALL - $11,250.00
Interesting to note is that prices on all other models currently in stock have also risen to match the WWE pricing....... 
Way too rich for me, even if I liked the theme (I don't).
Can't see myself buying too many Sterns in the future with those prices.
Oh well, I have too many pins anyway.
