Sampling Distributions · Hard problem

Bolt lengths are normal with mean $500$ mm and SD $20$ mm. For a random sample of $16$ bolts, find $P(497.5 < \bar x < 507.5)$. Give your answer to four decimal places.