I have a Zgemma 4K box that I bought from Tek2000 and works very well. And I know that Rick's sells an Octagon that will do 4K. Both are about the same price and both will work. OpenATV is the linux software that they both come with but I put OpenPLI on my Zgemma that I like better.
Don't know what you mean by 'sortware'. The default operating system is the Linux OpenATV and just like any kind of linux operating system you add all sorts of plugins and functions. I didn't care as much for OpenATV so I used OpenPLI. Layout is pretty much the same but nicer skins and themes. If you want you can add youtube and all the social media crap to the box but I've got that on my computer, tablet and smart tv so really don't need it on the satellite box. I do have an external drive with videos plugged into it so I use the receiver as my media center. OTOH I could of plugged it into the TV itself or the router so there are a number of ways to skin a cat.
NASA plays fine for me. I use an older TBS card and hardware decode h265 with gtx1050 gpu. Played fine also on nieghbors sf4008 think most any h265 capable box will workI don't know if any of these boxes will pull in the NASA channel. I understand the Harmonic receiver that is listed on NASA's website does not have a conventional HDMI output. Signal comes out of receiver via IP multicast, which must be converted back to HDMI / SDI via external device.
Does anyone have further info?
Well it works great on all but the ABC Mux on 99W for some reason. Over a year ago I was gonna bring some in and sell them, but never got that problem resolved.
I could hook up 10 different branded receivers here to same dish and switch and coax combo. Just simple disconnect one and put another in its place and all worked fine on ABC but the A4K.
Amiko kept telling me there is nothing to do, as it is the same tuner as the A3. Maybe I got one with an issue, I don't know but never pursued it.
Another thing too all the problems with the A3 was fresh in my head, so I thought it may be a tech support nightmare if I bring them in anyway.
Other than the ABC issue with video break up, it has worked flawlessly and no issues. Works great too with Kodi as a media player.
If you get a chance, snag you one I think you will like it.