The time required for an automotive center to complete an oil change service on an automobile approximately follows a normal​ distribution, with a mean of 19 minutes and a standard deviation of 3.5 minutes.
The automotive center guarantees customers that the service will take no longer than 20 minutes. If it does take​ longer, the customer will receive the service for​ half-price. What percent of customers receive the service for​ half-price? ​