Yo también compraría auriculares Bluetooth para ese uso ocasional. Conectados al televisor, si el AVR no soporta Bluetooth.

En ese precio tienes muchas posibilidades. Pero teniendo en cuenta el uso que les vas a dar, yo trataría de gastar el mínimo posible, dentro de una cierta calidad de sonido.

Estos tienen ahora una buena oferta de Black Friday (99 Euros), pero echa un vistazo por ahí:

https://www.zococity.es/audio-technica-ath-ar5bt