If the Aus $ was at 1.13 and now it's .71 cents USA, that's a huge difference.

If the ACDC was $6300 and the current is $7850 or $8100 depending on what offer u get from AMD, based on the Aus dollar alone, the current price is WELL under what the Dollar says it really should be.
Simple math says the current price is about $1500 cheaper than the price the exchange rate would dictate.

It's not only pinballs which have increased. I bought two jet skis two years ago for $16,990 which were about two grand off each for a cash buy for the pair.
The current price is $20,990 because of the $.

Pinballs are still well priced using the dollar comparison. A lot changes in 4 or 5 years.
The Pro is priced always as the best value for money but people are too hung up on the small shiny bits on a LE and pay too much. Never a deal on a LE but always a deal on a great Pro.