Durante esa época, el Marina fue conocido como MGM-Marina Hotel.