The manager of a computer retail store is concerned that his suppliers have been giving him laptop computers with lower than average quality. His research shows that replacement times for the model laptop of concern are normally distributed with a mean of 4.5 years and a standard deviation of 0.5 years. He then randomly selects records on 25 laptops sold in the past and finds that the mean replacement time is 4.2 years. Find the probability that 25 randomly selected laptops will have a mean replacement time of 4.2 years or less. Round your answer to four decimal places.