well, he got it from the distributor for $150 + $20 Shipping + $20 Finders Fee (Gas, Packing, Box)
discontiuned lane #1 stuff typically goes for more than in production.
i think if you scoured ebay for months you'd end up around the same price in the end.