MUSIC SERVER WITH HDMI VIDEO OUTPUT

How about a Raspberry Pi? :)

Hook it up with Volumio, and presto.

https://volumio.org/

As far as I know, the Pi products do not support any third party control systems like RTI, Elan, Savant, etc, which is a requirement for my application.  If they had control / transport drivers or Rs232 strings that worked with any of the above, I would love to try it. 

Cocktail Audio/Novatron  X-45 or X-50D !

pj

Possibly Wolf Audio Systems.

Fwiw, I have an Oppo 203 in a HT system.  The Oppo recognizes my NAS, so I can stream from that.  I have an Apple TV in the system and yes, it is a POS in general, but for Internet Radio it’s no worse than the Bluesound Node2 in the same system, which I use for Qobuz.  That is a lot of boxes, I know, and of course if you buy an Oppo you will have to pay extortionate prices.
   I never intended to use the Oppo to stream music files, in fact I was surprised when I learned it had that capability, but the advantage of using the Oppo over Bluesound is that I know it will actually work every time I want to listen, whereas Bluesound tends to crap out for a while after each mandatory software update (and they  are frequent, as they constantly have issue new ones to fix something broken by the previous).  And my main reason for the ATV is that I don’t have a cable or satellite provider, and again due to Bluesound issues it is a more reliable provider of Internet Radio.