Thanks, Mike.
I'm not sure how long the cruise is, but I guess I'll just follow the FT crowd afterwards. Not familiar with Chicago.
Just tried to book the cruise tickets online using their website, but it defaulted to 11am. Does this mean the noon departure is full, or am I doing something wrong? It's also quoting me a price of $30.25. I thought it was less.