Thorens TD-159 vs MARANTZ TT42 vs DENON DP300

Estoy planteandome la posibilidad de agenciarme un tocadiscos para poder los vinilos que tengo -que no son demasiados-

Por ello querría un giradiscos básico, con un mínimo de calidad, y que sea automático -que no haya que desmontar el plato para cambiar de velocidad-

En este momento puedo adquirir un MARANTZ TT42 por 240 euros, o un THORENS TD-158 por 260 euros.

He oido que los dos platos son en realidad EL MISMO MODELO DE DUAL. ¿Cuál de los dos cojo? El MARANTZ PESA 1 Kg más que el otro.

Por un poco más (315 euros) está el DENON DP300 ¿merece la pena el sobre precio sobre los otros dos?

El resto del equipo es, básicamente, un HD990 + HK990 + Focal 1027S

¿alguna sugerencia? ¿en qué orden los cojo?

¿nadie sabe nada? Estos precios solo son para el sabado y domingo...