Customs is in Miami. Sometimes it's amazingly fast, other times the lines are awful. It's an unpleasant airport to get around in. I'd leave yourselves at least two hours.