My 22-year old [SKX007] getting serviced soon. Never removed the OEM crystal, nor have intention of swapping it anytime soon. Do I need to change the crystal gasket since it's 22 years old? Or, least as is?