The shape of the distribution of the time required to get an oil change at a 15 minute oil change facility is unknown. However, records indicate that the mean time is 16.9 minutes and the standard deviation is 4.8 minutes.

what is the probability that a random sample of n=40 oil changes results in a sample mean time less than 15 minutes?