That lens was for sale on eBay for several weeks with a $900 price tag. I put in an offer for $700 but the seller didn't want to go that low. Eventually someone bought it, and started it at 10x the price (now only 5x) !. It's certainly rare, but its damage was a big turnoff for me so I didn't want to pay much for it. Would be interesting to see how the 100mm performs, but I was not willing to fork over $900 for it, let alone $5k. If only it had a bigger aperture...