Text this: Compressed air for operating modern coal-mining equipment.