check HDMI input TV lodges to see if we can use them

[jemmads]

AV team to look at this afternoon

[fzipi]

Yesterday in the 'Threat Modeling Villa' we had no problems using HDMI, so yes, it's working, and this can be closed.