I have also ripped over one thousand CDs. I have not gotten rid of any of the CDs, I just never play them anymore. They line my walls and help with acoustic dispersion. Also still serve as backups in case ever needed (footnote: be sure to always keep a backup copy of ripped CDs somewhere...ripping is time consuming and once is enough).
As time goes on, there will likely be fewer CDs that I feel I have to still own as opposed to just streaming on qobuz or similar.
I also still have a growing record collection. I ultrasound clean those and play once to convert to digital and add to my flac format music library.
if/when in a few years time comes to downsize my home, I will have to make decisions about what to do with all the stuff I've acculumated over the years. Lucky to have that problem!