Hi, I have a friend flying into the US probably on BA and probably in F but, if not, in J. She has a choice of airports - JFK, ORD, ATL, IAD, MCO and MIA. She'll be flying on a Monday in October. Any suggestions to avoid a long queue at passport control? Is one airport generally better than the others? Seems to me I've read on here that MIA is awful????

Thanks for your help!