I looked up deep mine temperatures. Apparently they tend to pump down iced cooling fluid to air-conditioning units underground to make working conditions bearable for humans. The hottest mine, before cooling, is 60C and AB would not be that hot. I guess it adds expense though.