Replacement times for washing machines are normally distributed with a mean of 9.3 years and a standard deviation of 5.2 years. Find the probability that 20 randomly selected washing machines will have a mean replacement time between 8 and 9 years.