Thanks John and Jen. I noticed the cruise in July for 20s and 30s, but I'd rather wait until after summer, so maybe that Halloween cruise is a pretty good idea. How does that work? Do you bring your own costume?