Sorry, but the Big Red Boat was never owned or operated by Disney.
Premier Cruise Line operated 2 ships, the Oceanic and the Atlantic, and called them both the Big Red Boat. They had one contract with Disney to have Disney characters on their ship and marketed 3/4 day cruises with the rest of the week at WDW similar to what
DCL does.
When the contract with Disney expired, Disney declined to renew it and Premier then contracted with Warner Brothers to have Looney Tunes characters on the ship.
Premier Cruise Lines went bankrupt....essentially run out of business by DCL. We sailed on it--NO LOSS!