The thickness of a set of gaskets varies because of random manufacturing disturbances but the thickness values measured belong to a Gaussian distribution. If the mean thickness is 3mm and the standard deviation is 0.25, calculate the percentage of gaskets that have a thickness greater than 2.5mm.