My guess would be the dollars were bought back when the euro was at $1.60, making it a very good buy versus getting them at the current exchange rate of $1.25. I had friends in Australia do the same thing, though a lesser amount, when the Australian dollar was high against the U.S. dollar.