We do get the mugs. My boys love them, they get soda, lemonaide and hot chocolate in them, even in August.
Even though it was 95 degrees when we were at WDW in May, one of the special parts of the vacation was that I would get up before the kids and dh and head over to Port Royal (we were at CBR) and fill up our mugs with coffee for dh and I and hot chocolate for the boys. They simply loved waking up and having hot chocolate from their mugs in bed.