Ugh --- we have a very early flight home on July 21st -- flight back to Dallas at 730am. Does anyone know what time I should be picked up by taxi service at the Westin to get to airport ?

I was guesstimating at 5:15am schedule Taxi service to pick us up to take us to airport. Is that too early? I am not sure how long it would take to get family of 4 with 2 kids to airport and airport customs(?)/security.