I'll be in San Jose this week. Does anyone know the exchange rate and where is a good place to change U.S. dollars?