The mean time it takes for a specific make/model of watch to break down and require repair services from manufacturer is 30 months, with a standard deviation of 8 months. The manufacturer's warranty for watch is 1 year (12 months). Suppose normal distribution. What is the probability watch will function for 25 months or longer?