Ayer por la tarde miré mi TIVO y tengo la versión C:090814. Por cierto, el tema del HDMI - ARC / CEC está ya solucionado no?

Saludos y gracias