In all it's genres? So including R&B, beat ballads, 70's, slightly funky staff that "avante garde" DJ's may spin on occasions, Sam's "80's" which get aired on "northern floors" etc etc etc....goodness knows.
I think the number of 30,000 was about right give or take a few thousand for traditional 60's early 70's uptempo records, but if you add in all these "fringe genres", who knows?