Has anyone finally decided to sell their Turntable and Vinyl collection?

I have four turntables in operation and seven more awaiting restoration.  Also a collection of cartridges tonearms and parts.  This all to play my 10,000+ vinyl collection that I have built over the past 55 years.  My rock, jazz, pop, classical, blue grass, country etc. LPs are all in VG to near mint condition as I used to play them once in order to record them on my reel to reel or cassette tape recorders. Cassettes were much easier to play in the car or cassette player.  the TTs that I'm currently using are a totally updated Linn LP12, restored Thorens TD124 and 124 Mk2 and a Garrard 401.  All are in high end systems with dedicated phono preamps.  So whats not to like?  Well I hardly play my records anymore since I've transferred so much to my PC.  Call it laziness, but it seems that I just want to play my music without getting out of my chair anymore.
What to do with all that vinyl, turntables and other gear?  I don't know, as the thought of what it would take time and energy wise to sell it makes my brain go numb. 

People dumping their vinyl rigs and albums seems like sort of pathetic news, and nearly unworthy of comment beyond the self congratulating "I still love my vinyl" responses...do the people abandoning analog want to feel better somehow? "Here's why I'm NOT doing something" is simply a "meh" thing, almost as lame as me saying I like having my vinyl around...it's there, and the only way to hear it is with my turntable...how interesting...wanna dump yer vinyl? Go right ahead...sit in the cloud with your dots and dashes and wonder what to do with the 8 square feet of space you added to the condo, and send that money to Qobuz until they go out of business and your digital storage gizmo dies...

I think the problem is also due to the fact that like us in Italy the new houses or apartments are built ever smaller and the space becomes ever smaller; for this reason vinyls and turntables become bulky objects where a modern house cannot contain them and then liquid music and streaming are used.

I never abandoned vinyl.  When CDs first arrived I felt the vinyl sounded better, so why get rid of it.  Through the years, there has been a back and forth superiority between the sound of one medium and the other as I improved one component or another.
Now, they sound about equal with my current gear, so I’m happy.