A registered nurse commutes daily for her duty at 6 AM from home to the hospital. The average time for a one-way trip is 25 minutes, with a standard deviation of 5 minutes. One morning, she left at 5:40 AM and the attending physician starts facilitated rounds at 6 AM for 15 minutes, what is the probability that she misses the rounds with the doctor? Assume the distribution of trip times to be normally distributed.