Assuming that you do a proper job of ripping and storing and backing up your files, I would spend the money on a better DAC instead of a player. I've ripped all of my CDs (around 5,000) to WAV files.
The issue is adding to your collection. Will you be adding CDs (need for a ripper) or downloading files or streaming to get new content? A lot of content that is available for streaming is not of high quality; much has been actually re-mastered to lower the dynamic range to makes it better for listening in high noise environment such as in the car or through earbuds while in public, or because a lot of people actually like "loud" music. If you are diligent, you can actually find older CDs or specialty re-issues that are superior in sound to what is streamed to you. I continue to add to my CD collection, which means doing some ripping and storing the content. For that, I have a ripper that has an 5TB built in hard drive.
The issue is adding to your collection. Will you be adding CDs (need for a ripper) or downloading files or streaming to get new content? A lot of content that is available for streaming is not of high quality; much has been actually re-mastered to lower the dynamic range to makes it better for listening in high noise environment such as in the car or through earbuds while in public, or because a lot of people actually like "loud" music. If you are diligent, you can actually find older CDs or specialty re-issues that are superior in sound to what is streamed to you. I continue to add to my CD collection, which means doing some ripping and storing the content. For that, I have a ripper that has an 5TB built in hard drive.