A professor samples 9 random TCC students and record their commute times. She finds that the average commute time of the 9 students is 13.59 minutes with a standard deviation of 3.5 minutes. She also finds that the commute times look like they come from a normal distribution. Find a 95% confidence interval for the mean commute time of all TCC students. Round to three decimal places.