On our first cruise we used Disney Dollars to tip room service. We later found out that this is a very awkward thing to give as a tip, and they are not appreciated as well as money. This is very understandable, as it is extra work for those who send money back to their families.
Now we give cash!!!