If we take a look at JFK's flight schedule for this year's November 6th (which is the winter DST switch date), there are plenty of flights departing between 1am and 2am. For example, a Cathay Pacific flight to Hong Kong at 1:25am.
If one were to actually buy that flight, what would be departure time printed on the ticket? And when would the plane actually depart — on the "first" or "second" 1:25am?