Thanks for all the info, everyone. It's been really helpful. We were considering a July cruise, but we're now rethinking our dates. Royal Caribbean seems good, especially because of their availability with ports and dates. Again, thanks Donna, Darcy, and LisaK!