Carlos was planning a trip to Saudi Arabia. Before going, he did some research and learned that the exchange rate is 3.7 Riyals for $1. How many Riyals would he get if he exchanged $3.80?