Did you know that the oil industry in Singapore generates five percent of the country's gross domestic product ?