Novata, ayuda sobre tocadiscos

Hola a todos¡
primero de todo, daros las gracias de antemano.
El tema es este, quiero regalarle a mi padre un tocadiscos estas navidades pero no tengo NI IDEA del tema. Él en cambio, es un apasionado de los vinilos y tiene una gran colección, pero su anterior tocadiscos murió en un accidente doméstico.... Lleva tiempo diciendo que se va a comprar uno, pero como no se decide en pensado en estirarme estas navidades y regalárselo yo.
El problema está en que no sé por donde empezar.
Busco algo de calidad, pero mi presupuesto no puede ascender de los 300-400 euros.
Su ampli es un harman/kardon hk 3380

si me podeis ayudar con el tema, os lo agradeceré infinitamente¡¡