Reproducir 4K en proyector JVC

Yo tengo un Samsung 7500 (sin wifi) y muy contento. No es lo mejor de lo mejor de lo mejor, pero lleva las tres VoD más populares más alguna otra, lee de la red con Emby o Plex (prefiero el primero porque envía sin transcodificar) y trabaja con UpNp. NO trabaja con Samba. Pese a que en sus especificaciones dice que acepta audio hasta Atmos, lo que he visto es que los archivos con Atmos se le atragantan. Por el resto, bien. Hace un pase de HDR a SDR bastante digno con tres escalas para elegir y, si bien no es MadVr, es totalmente utilizable. Lo menciona el compa @Ragarsa en el próximo post: el tema de subtítulos. Pasa algo raro con ellos. Un archivo con sub (.SRT) leído por red se presentan correctamente en color blanco. El mismo archivo leído desde un HDD pinchado en el USB los muestra en color negro. No encontré explicación. De paso, comentar qué, si bien el USB es 2.0, tiene corriente suficiente para hacer funcionar un DD de 2.5" USB 3.0 sin atascos.

Sobre los tvbox, el más confiable es la Vero 4K+. El soporte es espectacular dado por el creador del aparatejo Sam Nazerko, en inglés, éso sí.
Trata de evitar Android que es un excelente SO para teléfonos móviles.
Si buscas trabajar con Kodi, cualquier SOC S905X funcionará muy bien con Libreelec. En la página de Libreelec puedes ver los SOC para los que tiene imagen dedicada. No te recomiendo los Rockchip. Tengo uno y sus actualizaciones son de las últimas en salir. Es, asimismo, bastante inestable. Aunque rápido cuándo funciona bien.
Se está hablando bastante bien de la RPi4, pero te tiene que gustar cacharrear.
La mejor calidad de imagen la logras con un chip de Realtek, pero desconozco si puedes cargar un Kodi "limpio".

Cómo sea, yo estaba en la misma tesitura que tú y me decidí por el Samsung después de probar (¡Gracias Amazon!) muchos reproductores. Mi presupuesto era bastante acotado y el Samsung lo conseguí comprar por algo así cómo €80.