Duda receptor Pioneer vsx-s300 con 4K

Buenas a tod@s,

Tengo una gran duda, me gustaría renovar la tele con un modelo 4K, la duda es si el amplificador me va a valer, la intención es conectar la PS4, el TIVO de ONO, y la Nvidia Shield para la reproducción de pelis y más.
Si el amplificador no es 4k, podría conectar la nvidia shield por HDMI al ampli? y me daría salida a 4K o no es posible?
La nvidia no trae salida optica, sólo HDMI, ha alguien se le ocurre alguna idea?
Se que la PS4 no es 4K, y el TIVO, mucho menos...

Gracias