Thank you for your advice.
It comes down to 3 choices;
1) take the chance there is no delay on the non-stop flight arriving at 1:05
2) take the MUCH earlier ... change planes in Dallas ... 11:30 a.m. arrival
~or~ (and I think I'm liking this on the best)
3) come in a day early, have a leisurely breakfast with bubbly and shuttle to port at my leisure.