One for sale at the moment for $7750US on rgp.

400 made - 200 stayed in the US, 170 to Europe, the remainder split between Aus, NZ et al.

Since 95% of Stern sales in mainland Europe are to operators (as per Gary Stern), just wait a while and they will start showing up in the Euro container imports to Aus (no Hertz conversion mod required either  ).

Plus you can avoid being gouged on the flavour of the month Stern pricing that is currently going on in the US at the moment.

I guess the other question is, are drop targets, a motorised recogniser and coloured EL wire worth a $4000+ price difference?