In a production process, the diameter measures of manufactured o-ring gaskets are known to be normally distributed with a mean diameter of 80 mm and a standard deviation of 3 mm. Any o-ring measuring 75 mm or less in diameter is defective and cannot be used. Using Excel, determine the percent or proportion of defective o-rings that will be produced.