Sounds like everyone had a great trip. I don’t like ocean cruises,but agree that they can be useful. You may want to consider a European river cruise as another way to explore. We did that a few years back and would do it again in a heartbeat. Loved your photos.
