I just called the dealer, the TDF car has apparently sold, at ...wait for it 310,000 Euros including 20% tax (so one assumes its from outside the EU)...