2 hours total would probably be a good idea. Between all the Asia arrivals at that hour, and then not being a US citizen and possibly facing additional questions or customs inspection, then going through security again at the domestic terminal, be safe and give her the 2 hours.