Good Morning - planning to fly late September/early October to Amsterdam from Dulles, Washington DC. Anyone have input on either non-stop flight? Both are similiarly priced and scheduled. Most concerned about comfort and decent service. We don't plan on flying business class and my husband is a tall man (6"3). Thank you!