Could somebody clarify something for me : is it true that some cola drinks manufacturers are still using the cola nut in their composition ? I had heard otherwise : they use a synthetic substitute that has the same taste. Which manufacturer uses the original recipe with cola nut ? Which manufacturers use the synthetic compound ?