Question: In Disney's hotel room's, do the HDMI ports work for something like a Roku, or are they programmed not to work? I know many hotels i've been to are like this, but I can't remember about Disney. I'm gonna be doing a couple days over July 4th at one of their hotels just for the sake of it (obviously the parks aren't open, i know) and i'm highly interested in if i'll be able to stream from there or not.