The average running times of disks produced by Company X is 88.1 minutes and a standard deviation of 6.1 minutes, while those of Company Y have a mean running times of 99.3 minutes with standard...

Extracted text: The average running times of disks produced by Company X is 88.1 minutes and a standard deviation of 6.1 minutes, while those of Company Y have a mean running times of 99.3 minutes with standard deviation of 13.6 minutes. Assume the populations are approximately normally distributed. What is the probability that a random sample of 41 disks from Company Y will have mean running times that at most 15 minutes more than the mean running times of a random sample of 32 disks from Company X ?