I've exchanged a couple emails with the seller of this item. She said they have about 180 of these, and they normally go for about $900 each. They're just looking to clear some space in the warehouse, so if you can use a c-mount lens, you can get a good deal on one of these 17mm lenses.. It's a very fast lens too at f/1.4.
http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&item=180163766125
http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&item=180163766125