This isn’t a triumph for vinyl as much as a decline in CD sales to MP3s and other digital download media.
Still, I sold off my vinyl collection of 70s and 80s music before moving to Panama and made about $130 in the process. Then I sold about 98% of my CD collection and made around $250.
Where do you even buy CDs these days?
Keep in mind, CDs are higher resolution than MP3 - actually, there is a ton of detail that is lopped off in MP3s.