The time for an oil change is normally distributed with mean μ = 11.5 minutes and standard deviation LaTeX: \sigma σ= 1.2 minutes. For what percentage of cars will the oil change take between 9 and 13 minutes?