I'm lucky to have a great LP12 into a superb system, and I have literally every LP I've ever wanted, but I rarely if ever play records any more. I've slowly ripped 1,000 CDs and have a reasonably big high rez librady, and a very good DAC. This isn't a format war thread, I think there is no best format, it's all down to the mastering. My record player and records take up quite a lot of space in our small London house. I could sell up, get a better DAC and use the rest for something important. Anyone else done this recently? any regrets?