Compressed air gives a boost to rotary drilling