Any idea what immigration lines are generally like on a Friday night at 7:30pm in July? Flying in on Aeromexico from JFK. I know any insight will be anecdotal, but nevertheless will be helpful. Trying to decide if I can make a 9:45pm reservation at Pujol. Thanks.