How much do large Vinyl collections go for these days?

What is vinyl pricing doing these days? Is good used vinyl appreciating or depreciating?

I have a collection of about 1700 Jazz LP's. 95%+ are VG+ or better (I bought them that way and clean records every time on a Loricraft)

About 500 are earlier (50's, 60's) issues like Blue note w42, NY USA, a few Lex Ave, Bergenfield Prestige, Columbia, Savoy, Verve, Riverside, Atlantic etc.

The rest are OJC reissues, and other later good jazz labels like Enja, Soul Note, Inner City Mo fi etc.

Many were purchased from big jazz collections on Ebay over the years. About 20% were purchased new and have seen only a few plays (given there are so many). The rest were mostly purchased from the Jazz Record Center in NYC and anyone who knows them is well acquainted with the quality of their records.

I estimate I paid about 50K in total for these, so an average of $30. The best stuff was $100 or so on Ebay. The OJC's were $8 years ago new from Acoustic Sounds. Would you hold or sell?

I know the answer is "it depends" but any other insights are appreciated.