PVC pipe is manufactured with a mean diameter of 1.01 inches and a standard deviation of 0.003 inches. What is the probability that a random sample of 9 sections of pipe will have a sample mean diameter between 1.009 inches and 1.012 inches? Assume the central limit theorem holds.