USD/KRW has dipped back to 1137 from 1138.50 this morning. Reuters headlines report that the South Korean government will use up to USD1.4 billion of its surplus to buy back existing government debt