A dishwasher has a mean lifetime of 13 years with an estimated standard deviation of 1.25 years. Assume the lifetime of a dishwasher is normally distributed.