I run a steady group of about 3K LPs. Sometime it will peak up to 4.5K, but then I'll cull out LPs I like, but would hardly ever play. I do have about 750 CDs.
If I had too I could cut down to my most favorite music that would e around 500 LPs. Of the other 2.5K, LPs change as I find music I like better.