400*1,7= etwa 680TND
Wegen dem Tausch von 700 TND brauchst Du Dir wirklich keinen Kopf zu machen - die brauchst Du noch nicht einmal bar zu tauschen, sondern kannst sie auch mit einer Kontokarte aus einem Automaten ziehen (kostet dann ca. 5 Euro Gebühr), der am Flughafen draußen nach dem Ankunftsbereich gibt z.B. problemlos auch 800 TND aus, ebenso wie viele andere (siehe auch hier im Forum den Thread über Bankautomaten).