Schedule still seems weird--arriving in Miami at 9:30, which means it leaves at like 7:00? And then not leaving to come back until 4:30? I guess more logical for a business traveler but in general, still weird.