Yo estuve en la misma situacion que tu, y acabé optando por el 6500.

Más que nada, porque es más nuevo, y tiene más recorrido.

por lo que sé ambos reporudcen actualmente los mkv en HD (720p y 1080p).