I found it helpful to bring my own mug on board. I picked it up at Wal-Mart :hang head smiley: before the cruise for like $3. It was insulated and a good size. You have to use a DCL paper cup to fill it, but its better than returning to the drink station every 10 minutes for more soda/pop/cola.
Thanks Todd, That was my question as whether we should bring a mug with us.