Your company manufactures hot water heaters. The life spans of your product are known to be normally distributed with a mean of 13 years and a standard deviation of 1.5 years. What is the probability that the mean life span in a group of 10 randomly selected hot water heaters is between 12 and 15 years? (Round to the nearest ten-thousandth.)