Service time for a customer coming through a checkout counter in a retail store is a random variable with the mean of minutes and standard deviation of minutes. Suppose that the distribution of service time is fairly close to a normal distribution. Suppose there are two counters in a store, customers in the first line and customers in the second line. Find the probability that the difference between the mean service time for the shorter line and the mean service time for the longer one is more than minutes. Assume that the service times for each customer can be regarded as independent random variables. Round your answer to two decimal places (e.g. 98.76).