Okay, I've added the extractors to our build list. We should have at least 2.5 tonnes of A/C in the warehouse, that should give us a workable temp for the "Miner" room. The "Miner" room is only about 500 square feet.
You would need 187.5 tonnes of AC to cancel the heat the miners create, not 2.5 tonnes. Each ten miners would create 12,000 btu plus about an extra 1000 for the PSU. About 12,000 btu =1 ton.
You need to extract the heat not try to cool the room. Good Luck