Suppose it is known that the time spent by customers in a fast-food restaurant is a normally distributed variable with a mean of 25 minutes and a standard deviation of 8 minutes. What is the probability that a random sample of 20 customers will yield a mean between 23 and 28 minutes, inclusive?