Yo seré un caso extraño pero he probado los 3, el 85, el 87 y el batman. Después de comprobar qué canales se ven con cada uno os comento a lo que he llegado por si alguno le vale:
A día de hoy el 85 y el batman cambian igual de rápido los canales y por lo que he comprobado en el 85 se ven los mismos canales en hd que en el batman y aparte tambien se ven canales sd que en el batman no se ven.
Por mi parte y después de probar todos prefiero seguir con el 85 hasta que deje de seguir tan bien como hasta ahora.