It would be very unwise for miners to sell right now. Just putting it out there if anyone is worried and considering dumping. This fluctuation should resolve itself within a day or so. Buying right now is actually a better decision (anywhere below 16 isn't too bad, but 12 would be sweet).
All IMO