So from JFK you will arrive at T5, most likely T5B or T5C unless bussed, so bear in mind the section in the guide about getting the airside transfer bus from T5B to T3 rather than going all the way to T5A for the bus.