A new bus route has been established between downtown Denver and Englewood (a suburb of Denver). Dan has taken the bus to work for many years. For the old bus route, he knows from long experience that the mean waiting time between buses at his stop was = 20 minutes. However, a random sample of five waiting times between buses using the new route had mean = 15.1 minutes with sample standard deviation s = 6.2 minutes. Does this indicate that the population mean waiting time for the new route is

shorter than what it used to be? Use = 0.05. Assume that x is normally distributed.