Hi, my brother is visiting Dominican Republic soon and I wondered about money. Should he take US dollars? Should he trust ATMs? Any advice appreciated