Suppose we take a random sample of size 20. What is the probability that the mean of the 20 times is greater than 538 minutes?