Pues has leido en mal sitio.
De esos el que mejor vá con diferencia es el Dvico Tvix S1, por algo es el mas caro de los que indicas.

Yo tengo un hmr-2000 y si no fuera porque es de los pocos que puede grabar de una fuente externa, lo cambiaba por el dvix sin dudarlo.

Por cierto, si mal no recuerdo, el Tvix S1 lleva el chip 1283DD+