According to a recent study published by the American Statistics for Educators Journal, statistics students spend, on average, 80 minutes a week playing video games. A certain instructor of statistics at WCC believes that WCC students spend less than this amount of time playing video games per week. To test his belief, he randomly samples 31 students and finds the sample mean to be 72 minutes with a standard deviation of 35 minutes. At the 0.05 level of significance, is there evidence to suggest that WCC students spend less than 80 minutes a week, on average, playing video games?