Back to topic on receivers, has anyone tried this one (available though Ebay):
"GTMEDIA GTS Satellite Television Receiver Android6.0 Satellite Television"
Claims to do 4k video / H265, basic looking package with a bit of CPU/GPU etc.
GTMedia is Freesat's new name. I read up on that receiver. Seems like a decent receiver and not a bad price if it does UHD well. Has a generous amount of RAM. I noticed it didn't mention TOS capabilities, but that may be a given since FreeSat is known for that.