Thanks for the information. What "side trip" would be doable from LHR without risking missing our flight? 9 hours seems like an really long time to be hanging out at the airport.