My question relates to drilling in mudrock. There are numerous types of exploration drilling for rock. In some publications air is used as drilling fluid. But can air cool the drilling bit enough that the drilling bit itself and the surrounding mudrock does not become too hot (>50°C)?