Did the bidders really want 20,000 shares? I don't know. But now they got them for an average price of $.0367