How to keep mining room cool