Very nice. My father had a collection that size, mostly film soundtracks and classical music.
Make sure you keep it organized. Do everything you can to keep it organized. When my dad died, he had gone through dementia and had just moved all the records to random places on the shelves, so they were in absolutely no order, even in terms of genre. There was no practical way to alphabetize them all. I had to sell them off slowly rather than the whole collection because taking the time to organize it was not something any of us had the time or the energy to deal with.
I ended up making a decent amount of money from what I sold, and I gave the rest away to a friend who, as far as I know, still hasn't found the time to organize it either. But I would have rather sold off the whole collection in one lot, especially if it was going to go to someone who would have really treasured it.
Everythings organized by first name and put in order of release, and filed on Discogs. I'm lucky I started early on Discogs within the first 100 records. I wouldn't really bother with genre organization, as that would get a little confusing to me.