Hola.
Así de entrada ya te digo que lo de THX no siginifica nada.
Es una licencia del Tio Lucas para ganar dinero pretendiendo "hacer un estandar" de calidad. Las máquinas Hi End, casi todas no llevan el certificado THX. Además se supone que para que el sistema fuera totalmente certificado THX tendrías que tener el lector y las cajas certificadas ..... osea que no tiene ninguna importancia. Si lo lleva "de serie" pues bueno ( mi equipo lo lleva ) pero elegir uno por el logo no es recomendable.
En cuanto a lo del 4K ... bueno. Volvemos a lo mismo. Si lo lleva de serie pues bien, pero no creo que hay que pagar por tener el Passthrough de 4K, mas que nada porque pasará bastante tiempo antes de que se popularicen contenidos 4K y todo el mundo tenga un visualizador 4K. Por cierto el Onkyo lleva escalador a 4K, pero aparte de eso es un buen equipo y por menos de 380€ tiene todo lo que puedas necesitar.
No te preocupues porque las dos máquinas son bastante mas que aceptables y no te confundirás elijas la que elijas.
Saludos