20071118 business.international-business: Gulf Oil buys Petromin for USD 200 million