The ET1 Spec sheet only shows it as HMDI port, but gives no indication as to the type.
If you want to connect the ET1 to a HDTV via the HDMI port, make sure you purchase a type D Micro HDMI to type A cable. It around $10 US.
It's video only, so you will need to connect audio port if you want audio to the TV.
Retrieving data ...