Record LP's on to Laptop

I have around 800 LP's that I want to record into a digital format (hard drive/CD). I have a high-end HP dv4000 laptop and high end digital receiver as well but I'm confused as to how to connect by receiver to my laptop. I think that I want to take the analog output to an analog input on my PC (which I don't have). I see reference in this forum to a device WaveTerminal that looks like it's what I need but I also read that it's been discontinued. Could someone help me with my options.

Thanks