I changed my nonstop JFK - HND to a Phl-ORD-HND ticket today with the Phl-ORD leg in economy. How long should I wait before I start getting worried about it not being ticketed yet. The phone agent who made the reservation assured me that it’s not a problem and might take a week