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

It Maybe a little strange to ask this question here since clearly this is a forum for folks still loving and using Vinyl.
So I am looking for some feedback from folks that play very little of their LPs these days and have decided to sell all of it (or already have). I have thought about it for years seems like a hassle trying to sell your TT and or your record collection, that is mainly why mine stays put (not because I use it).

Anyway if you have sold - (Not if you’re keeping it forever)

Have you regretted it?
Or is to nice to reduce the clutter and happily move on?

Some people would never sell their analog rig and collection, I get that.

Sold off half my Lp collection as I built up my Cd library
Was very careful to keep all my 50's and many 60's discs including the very first Lp I ever purchased "Warm Brandy" by Dolores Gray
Skip forward to 2019 and my 11yr old grandson when visiting immediately  races upstairs to my second system.
He powers it up and on goes Vinyl. He is absolutely fascinated by playing music from a rotating disc with a turntable
I fear for my SME arm,cartridge, and disc's .... but hell why not
He may one day join the Audio community

Are you kidding?  My vinyl collection is a documentary to my life .... starting with my purchase at age 15 of my first two LP's from the Capital Records Club .... Kenton in Hi-Fi, and Rimsky-Korsakov's "Le Coq de Or" by the Pittsburgh Symphony.

I am hoping that Oberlin College, my alma mater, will take my collection after I die.  They maintain a pretty extensive record collection and playback lab for their Conservatory students.
I was talking to a local guy who ripped all 3000 records into his music server and sold the collection.  He got all those pops and clicks on there so he won’t miss that analog experience.  Selling the collection took some time as buyers wanted to cherry pick.  

A record store owner told me he doesn’t even buy whole collections anymore as it took too much effort to go through them.  He’s now willing to pay higher prices for quality collections, for records that can bring in $50-100 each....
A friend who has a vinyl set up has been eliminating albums that don't sound better than digital but keeping the ones that do. Not a bad rationale
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.