Just a heads up if you are interested in buying a DCL Tervis tumbler on board..... We were on the Magic last week and went to Mickey's Mates the first evening of the cruise. They had six DCL Tervis tumblers (16 oz size) on the shelf. I debated whether to buy one then or wait - and decided to go ahead and buy it then so I could use it on the cruise. We went back to Mickey's Mates the second night of the cruise and the DCL Tervis tumblers were gone. In the name of research for my fellow Diser's, every time we stopped back by the gift shop throughout our cruise I checked to see if they had restocked the Tervis tumblers. They never did. So, if you want a DCL Tervis, buy it when you see it in the gift shop because they may not be there later!