At an intersection, the red light times are normally distributed with a mean time of 3 minutes and a standard deviation of 0.25 minutes. Approximately what percent of red lights last between 2.5 and 3.5 minutes? (2 points)