Cans of regular Coke are labeled as containing 12oz. Statistics students weighted the content of 9 randomly chosen cans and found the mean weight to be 12.09. Assume that cans of Coke are filled so...

Cans of regular Coke are labeled as containing 12oz.
Statistics students weighted the content of 9 randomly chosen cans and found the mean weight to be 12.09.
Assume that cans of Coke are filled so that the actual amounts are normally distributed with a mean of 12.00oz and a standard deviation of sigma=0.1 oz.

Find the probability that a sample of 9 cans will have a mean amount of at least 12.09 oz.