Bueno, uno que he visto es este (30 eur):
http://www.amazon.es/dp/B00IMGW8XQ/r...Q&linkCode=df0

En general lo ponen bien, incluso hay uno que dice que lo usa desde una Raspberry para poder meter video a TV y el audio aparte, pero también hay uno que le pone 1 estrella que comenta que se le va la señal cada rato...

Y luego está este otro llamado "Extractor de Audio HDMI", que no sé si es lo mismo o no, pero tiene HDMI Out y TOSLink (85 eur):
http://www.cablematic.es/ref/VD50?gc...FSXHtAodx9oIzg

Y luego en eBay hay a saco ("from China"), entre ellos este (25$):
http://www.ebay.com/itm/HDMI-to-HDMI...item4638d75ffc


Lo cierto es que aun tengo dudas de qué hacer, porque al final "probar" a ver si funciona con un cacharro de estos supone minimo 30€ + 40€ de la raspberry, que aunque no es mucho, si luego tengo que usar otra cosa, me como la Rasp con patatas.

A ver si sigo escarbando y en algún foro o web encuentro alguien con una configuración así, ya iré informando.