Is this the collection that Guillaume Renault had for sale? That's the only other large collection I've seen for sale all at once. I reached out to him, but he wanted $1.2MM for his collection.