damn, that's a lot of records! Anyone seen the documentary "Scratch", t he part where DJ Shadow is sorting through records in the basement of some store? This looks a lot like it, only better preserved!
Seriously, though $9000 is a lot to pay out sight-unseen, very good to near mint condition 45s routinely go for $2-3 apiece at a great vinyl shop i know. If there are several thousand records in that lot, the winner stands to at least recoup their losses, and that's not counting any hidden gems that might go for a nice price on ebay!
i wonder if there
were any Underworlds in there