Was hoping to not carry a lot of cash down. Are ATMs available in Boca Chica and compatible with US banks, etc? Thanks.