Suppose that a manufacturing company of surgical tubes claims that its production meets the specified average diameter of 8.5 mm. A medical research team believes that the manufacturers claim is incorrect. To test this claim they took a random sample of 16 tubes and found that the sample has a mean, 8.3 and and standard deviation of 0.8 (both are in mm). Set up the null hypothesis and the alternative hypothesis in this problem. Test this claim assuming normality.