Excellent. That's one refutation for the arguments against mining during the winter.
On the other hand I'm not sure if this can be extended to summertime mining, unless there are air conditioning systems which work with heat as an input (

I don't think that's logical).