Hola.
Depende del receptor.
Si tiene escalador y le metes un Full hd y te saca un 4K, y tienes un televisor/proyector 4k, pues perfecto.
Si no tiene escalador pero tienes una fuente 4k ( y el televisor/proyector del que hemos hablado antes), lo que quieres es que deje pasar la señal en 4k y HDR sin alterarla.
Si no tienes fuente 4k ni es escalador pues no te sirve para nada, pero como lo lleva de serie eso que te encuentras.
Eso es todo.
En cuanto a lo de cambiar el Onkyo .... yo mejor invertiría en altavoces. Tu equipo no está mal y seguro que si cambias de cajas vas a notar mucha mejora.
No creo que ningún amplificador vaya a sacar mas partido a tus HKTS 30.
Saludos