Thanks, I'll look into it. Right now the Android boxes we're using cost €50 (less if you buy in bulk) and do both accelerated rendering and HLS video, but I'm always looking out for more options.