Is this the "Big Red Boat" Premier Cruise or the Day trip boat that went out of business? I thought the red boat was tied in with Disney at one time (before Disney got their own boats). I was on one of their cruises and it was great.