I think the average price under 8k and the (likely) lower future diff increases make selling a much less clear choice.  I like the idea of seeing if we get any bites at 10-12k while continuing to *aggressively* work to make these machines operational.  If power and cooling is really the issue and it will all be magically fixed in a week, that is unfortunate that we are losing a week, but I still believe we can come out ahead in the long run since lower diffs means these units can be profitable to run for a longer period of time...  I hope folks are right and the diff increase is going to be closer to 10% most periods...