I'm finalizing my packing and had a quick mug-rules question that has never come up before. Is there a hot water dispenser at the drink stations, and if so, does it fall under the same free/unlimited rule as the cold water at the soda machine? Or do you need the RFID mug even for hot water? I'm not getting mugs this trip because neither DD5 nor I drink enough soda for them to be worthwhile on such a short trip, but I do drink hot tea. I'm picky about variety, though, and I don't care for the brand/types Disney stocks so I pack my own tea bags when I travel. Am I going to have a problem getting just plain hot water to make my own tea in the evenings?