Yo aunque tenga el 84 (porque funciona mejor la grabación con el temporizador), voto por el server del 85, que tiene más canales. Probe el batman y lo deje cuando empezo a fallar, y sobre todo porque lo del temporizador no funcionaba correctamente.
Aunque apollo lo que ha comentado un compañero, de que deberian utilizar los 2 server para thor, segun comenta, no funciona mal, pero me figuro que con los mismos canales que batman.

Salu2