[shermantanktop]

+1, that’s what I do. Only problem is that the HDMI port can be hard to get to.

[benbristow]

A lot of hotels I've been to recently have a HDMI port baked into the row of plugs and switches above the desk. Handy.

Might be worth getting a male to female HDMI extension cable to make it easier to plug in.