Hola.
Supones bien. Todos los receptores actuales decodifican todos los formatos de audio.
A la hora de comprar un receptor te puedes olvidar de ese tema.
Saludos