I'd like to know where you got your info. I read the NY Times article from last year that said this:
Paul Mawhinney, a former music-store owner in Pittsburgh, spent more than 40 years amassing a collection of some three million LPs and 45s, many of them bargain-bin rejects that had been thoroughly forgotten. The world’s indifference, he believed, made even the most neglected records precious: music that hadn’t been transferred to digital files would vanish forever unless someone bought his collection and preserved it.
Mawhinney spent about two decades trying to find someone who agreed .... last year, a friend of Mawhinney’s pointed him toward a classified ad in the back of Billboard magazine:
RECORD COLLECTIONS. We BUY any record collection. Any style of music. We pay HIGHER prices than anyone else.
Plus he bought 200,000 records from Colony Records when it closed in 2012. Couldn't have been much of worth left in those stacks by 2012.
5,000,000 records, there must be something good in there, but I think the vast majority is total junk. I can't believe this is the best collection in the world.