Ok, finally found it. HDMI port is via an external USB 3 device.
"The following Ports are available via an external USB 3.0 Hub provided with the Radio: USB 3.0 x 3, 100/1000 Ethernet, HDMI"
Glad to see that. I wonder if USB3 can handle that much load?
It will be interesting to find out.
Now, if only they would define what the " up to 7 receivers " actually means.
I have yet to see any of their products provide as many separate panadapters and
waterfalls with up to 16Mhz bandwidth each, as the Flex Radio products do.
8 for the 6700
4 for the 6500, 6600 and 6600M.
2 for the 6300, 6400 and 6400M.
Not that one needs that much bandwidth. But, it is nice to have.
James
WD5GWY