At a department store catalog orders counter, the average time that a customer has to wait before being served has been found to be approximately exponentially distributed, with a mean (and standard deviation) of 3.5 minutes. For a simple random sample of 36 recent customers, invoke the central limit theorem and determine the probability that their average waiting time was at least 4.0 minutes.