So Google introduced an HDMI dongle for pushing media to an HDTV and it's been getting pretty good reviews:
http://gizmodo.com/youd-be-crazy-not...cast-897794491
I travel with a Mini DisplayPort to HDMI cable to hook up my MBA to hotel TVs but I may look at this... I have a Nexus 4, so it would seem to be a natural match. Even if it was a bust, can't complain at the $35 price point.
I'm only a bit confused about the USB power... do most hotel TV USB service ports provide power or will I have to run a cable to an outlet?