I realize that this may all blow through without a ripple but I shudder to think what a walk-up ticket would cost if some ticket agent is having a bad day. This trip involves 3 segments so the odds of a problem are a bit increased as well.
Thanks for your feedback. In the mean time we're watching ticket prices and will probably re-purchase if the cost approaches what we paid initially - just for the peace of mind.