The sample mean is x ≈ 94.1. Let x be a random variable representing glucose readings taken from Gentle Ben. We may assume that x has a normal distribution, and we know from past experience that σ = 12.5. The mean glucose level for horses should be μ = 85 mg/100 ml.† Do these data indicate that Gentle Ben has an overall average glucose level higher than 85? Use α = 0.05.