NPR, National Public Radio, finds that the distribution of the lengths of time listeners are tuned to the station follows the normal distribution. The mean of the distribution is 15.0 minutes and the standard deviation is 3.5 minutes. What is the probability of listeners tuning in for 13 minutes or less? Write the answer as decimal rounded to the thousandth.