The Human Resources department of a company has been surveying employees and asking them how long it takes for them to travel from home to work each morning. It is found that the distribution of times was skewed to the right with a mean of 21.6 minutes and a standard deviation of 7.2 minutes. A random sample of 25 employees in the accounts section took an average of 24.1 minutes to travel to work. Are these employees different from other employees in their travel time?