The taxi is arranged for 9:30 but I could change that to a bit earlier if you want. We are on the same flight I think ( to Mexico City). If we are at the airport by 10am that will give us plenty of time since it is a domestic flight and the airport is very small.
I will contact Aaron (our taxi driver) and let you know about the time change.