Sampling Distributions · Challenge problem

Adult men's heights are normal with mean $175$ cm and standard deviation $12$ cm; adult women's heights are normal with mean $162$ cm and standard deviation $15$ cm. Independent random samples of $9$ men and $25$ women are measured. What is the probability that the men's sample mean exceeds the women's sample mean by LESS than $5$ cm? Give your answer to four decimal places.