When i was a miner i just used a roof fan to expel the hot air out a window, was a cheap easy fix n worked great