I am from Austria and i can see the upgrade value here for the austrian buyer.. especially since he used the english terms to focus on all the international visitors coming to Vienna instead of german terms.. congrats anyway!
ps: airport taxis are good business in vienna since the airport is quite outside of the center of vienna so $7,000 might have been peanuts for them, just my guess..