In my haste over the weekend, I lost mine with a new slave install. I searched, but could not find any info on the size for this crush washer. I can guess at it, but didnt want to experience any possible leaks with a washer that may be slightly too big. Or does it really matter here?