I don't think anyone has much to worry about. $9000 would be enough to pay for that gun even if it weren't cut yet it still hasn't made the reserve. It isn't going to sell, the bidding is about over, I assume.