I’ve posted this to remind myself next time that the ride to the airport started at 8 am and ended at 12:20. We had been told it was a three-hour trip, but I guess they had not counted for traffic or construction. Fortunately, the later bus I wanted was sold out (you need to buy several days in advance too!), and my dear wife likes to arrive with lots of time to spare. This time, I’m glad she got her way when we had to buy the earlier tickets.