Thanks for your posts. It's always great to hear of other options. Glad you had a great cruise.