I doubt even NMS's you beaut tech can carry out repairs 3 odd kilometers below ground. According to Ch7 news tonite it will take until October until the leak can be fixed. A rig is preparing to leave Singapore and will be on site in about 3 weeks. It will drill an intercept hole to plug the leak.