The Ledd Pipe Company has received a large shipment of pipes, and a quality control inspector wishes to estimate the average diameter of these pipes. A random sample of 18 pipes produces an average diameter of 2.56 mm with a standard deviation of 0.05 mm. You may assume that the diameters of the pipes are normally distributed. The average diameter of the pipes must not differ significantly from 2.52 mm. Is there enough evidence at the 5% level of significance to conclude that the true average diameter differs from this amount? Conduct an appropriate hypothesis test using the p-value method.