If I was in the southern hemisphere and dealing with heat issues I would definitely consider dumping my cards for insane inflated prices and just buy back at lower prices. The savings could be used to buy coins directly since everything is on sale compared to December prices.
In northern hemisphere many are enjoying the "free" heat so miners are not as annoying. I wish this shortage had hit 6 months ago, I would have dumped all my older cards back then.