Cheesemaster200 , do you have any evidence that the JFK AirTrain is
currently operating on anything other than its normal route pattern? I note that even if the loop route were running counter-clockwise (i.e., 4-5-7-8-1), the trip from T4 to T1 should only take about ten minutes.