Regardless, grab a LE or Prem of any game as the pros are the most over-priced and are just a stripped back version of what the game should be.
+1
That's why they have the new VE Spiderman with a price point at the new overpriced Premium pricing. Everyone knows the originals were one of the last full featured regular production models before the Pro cutbacks made an appearance.
Pro models have the worst bang for buck ratio of the lot, but because they are universally known as the cutback model it forces the potential buyer to "upsell" to a Premium if they wish to get what is expected from a pinball experience.