The lifetimes of certain types of car battery are normally distributed with a mean of 348 days and standard deviation of 80 days. If the supplier guarantees them for six months (of 30 days, nominally), what proportion of batteries will be replaced under guarantee?