Very interesting, never knew that.
Another option is a Android media/TV box, almost all have a spdif/optical out and they are more versatile. Most also support Chromecast, ie you can stream to them like a Chromecast device.
The Xiaomi Mi Box is apparently very good, just over R1k and a...