Back to the question that was asked about the HDMI port on the TV (not about streaming)...I had no success on a recent cruise on Marina.  I travel prepared with my own small universal remote so that I can change the input source on hotel TVs when the supplied remote doesn't have the option.  Although my universal remote could operate the Samsung TV, it would not change the source.  So I looked on the back of the TV to get the model number and then found a PDF of the manual.  It is a special hosp