I would go for a vintage direct drive Technics - considering the number of records you have. They go for only 2-3 hundred dollars, and they should last.
I've had my Technics 1200 for 15-20 years, and it's been more than enough as I also stream 95% of the time now days. From time to time I think about upgrading, but then I think how often I use my current Technics - and it makes zero sense to spend thousands on something I use only a few times a year..

