Would you like some whine with that?

I usually just buy a short drip coffee in the morning, so it's not like I buy specialty drinks all the time. But a little complaint:

The Starbucks red Christmas cups are here but there is no Peppermint Mocha!! Is this just in Hong Kong or elsewhere too? (I have yet to try the Dark Cherry Mocha.. sounds good though.)