El Popcorn VTEN lo tienes en Amazon por 200€ y el A-500 también allí por unos 300€.

También se me olvidó comentarte que tienes el Dune HD Solo 4K por unos 350€ en Amazon, con chip Sigma SMP8758, que está tan bien valorado entre la gente, pero tiene un hardware un poco desactualizado, como también sucede con el Popcorn VTEN (que no lleva HDMI 2.0 y que no soporta 4K, a diferencia del Dune). El Popcorn A-500 sí soporta 4K pero no tiene HDMI 2.0. Los HiMedia soportan 4K 10-bit HDR y llevan HDMI 2.0 y valen de 140-190€, según el modelo (tienen una relación calidad/precio excelente).

Los que te recomendé yo son máquinas con Android, que permiten también instalar apps de la Play Store e incluso juegos. Los Popcorn llevan Linux y no tienen tanta flexibilidad como las Android, están diseñados prácticamente solo para reproducir. Una honrosa excepción es el Popcorn A-500 Pro, que tiene arranque dual Linux y Android. Pero el A-500 Pro seguramente se vaya de tu presupuesto, pues sale alrededor de 600€ y está pensado como reproductor de audio de alta gama aparte de media center.