Not that they had any way of knowing what would happen. $20 could have been the peak for all anyone knew, and by the end of next week selling at $20 might look like a smart move.