Ho trovato da solo una soluzione, la riporto dato che non avevo ricevuto risposta puņ magari tornare utile a qualcuno in futuro:
0. collegare il giradischi al pc via usb
1. Accertarsi che il dispositivo per la riproduzione sia la scheda audio e non "usb audio codec" da pannello di controllo=>suoni e periferiche audio=>audio=>riproduzione suoni
2. far partire il giradischi
3. con VLC: Media => apri dispositivo di acquisizione => Nome del dispositivo audio: USB Audio CODEC
4. Play!