The mean blood cholesterol level for all men aged 20 to 34 years is 188 mg/dl. We suspect that the mean for cross-country runners is lower. The average for 14 cross-country runners is 172 mg/dl with a standard deviation of 41 mg/dl. Solve using the Traditional Method. Find the p-value for your test statistic. Use an α = 0.05.