Interesting, that's not been my experience in various places around the world (not US), and I've often been able to access HDMI ports.

In the UK, they'll often put a plate in the wall with hdmi for easy connection, literally to make it easier for you to do.

I once looked up those TV codes and ended up factory resetting the TV just to jailbreak out of the hotel mode and use the Hdmi.