Guarulhos runs three terminals and a fair bit of queueing, so budget extra time before that domestic connection. The upside is choice: nonstops from Miami, London, Frankfurt, Lisbon, Paris and Buenos Aires land daily, which is why this is one of South America's busiest gateways. Mind the visa rules, since Brazil has brought back requirements for US, Canadian and Australian passport holders, and check the Polícia Federal site before you pack. Once you land, a mid-range churrascaria meal running under USD 20 a head goes a long way toward making up for the immigration line.