A public bus company official claims that the mean waiting time for bus number 14 during peak hours is less than 10 minutes. Karen took bus number 14 during peak hours on 18 different occasions. Her mean waiting time was 7.9 minutes with a standard deviation of 1.5 minutes. At the 0.01 significance level, test the claim that the mean waiting time is less than 10 minutes.