One of the nation's biggest regional airlines has tracked 4,000 landings and take-offs during the past month. Treating these data as the population of interest, the company found that the average time the planes spent on the ground (called the turn time) was 17.23 minutes with a standard deviation of 3.79 minutes. Further, they determined that the distribution of turn times is normally distributed. Then, the probability that a single turn time selected at random from this population would exceed 20 minutes is approximately 0.2327.