I just got off the Celebration out of Galveston a few hours ago and the chips in question were not the type used. All Carnival cruises I have been on have used chisp that say "Carnival" and do not have the name of the ship on them.