I ran some statistics over 18 Ebay auctions from the last ten months. Prices are all converted into €, but some of the auctions actually were in US$. Here are the results:
Average price: € 327,86
Median price: € 345,77 (average weighted by frequency of occurrence)
Lowest price: € 188,10
Highest price: € 492,92
BTW, I bought my copy for € 350,- .
It seems that prices do not vary much on Ebay between European and US auctions. But - beware of customs duties if merchandise has to cross borders.