Well thats great to know. I just know there are 2 Big Red Boats there and one is very large. The Dolphin is still my favorite ship. She was rated best for food and service for so many years. My wife and I actually on one of our cruises on her got to eat at the Captains Table (not the first time though) on this occasion and the Captains or the Oceanic, Emerald Seas, and Royale were eating at our table also. These ships also always had Lobster and Great portions, not to mention the best service.