En eso estoy, el problema es que creo que tengo que conectar el pc con el avr via HDMI, porque via red se me abre por defecto un reproductor de windows que no me deja muchas opciones.
Siempre es todo más fácil por cable. Incluso un humilde USB te podría servir si el AVR tiene la entrada respectiva.