Got Milk?

A little while ago I went next door to the cafeteria to get some coffee. I had sworn off going there a while back, and I have not gotten any food from there in close to a year, but I'm finding these days that, instead of stopping for coffee on the way into work, I'm coming into the office and then going to get coffee about an hour later, which obviously limits my choices. Also, the cafeteria's coffee has improved (I'm not sure why), and if you bring a travel cup to use, they give a decent discount (around 25%) as a sort of reward for not using another paper cup, heat sleeve, and plastic lid.

As I was adding cream to my coffee, a student-looking young woman appeared next to me and asked, "Do you know if the milk is hot?" I had no idea, but I suspected not. I pointed her in the direction of the dining-services person in charge of the coffee and its associated fixings. Only then did it occur to me that her question was somewhat curious. Hot milk? Is this a standard option at the fancy coffee places I don't patronize? Was she trying to fall asleep? What sort of school had she attended previously where hot milk would be considered typical dining-hall coffee fare? I'm left to wonder.