I saw the collection a few months ago. It is mainly VAXen. At the time, there were a few pdp11's and an 8/e but most of that corner was too tightly packed to look at easlily. I don't know how much he was able to sell since then. One thing he didn't mention was he had a pretty serious water break which left several inches of water on the side of the building with the shelving. All of the boxes with paper on that side of the building are water damaged.