If you're going to patch it, get some red RTV sealant. I don't think that blue thread sealant is going to do anything for that seal, except perhaps make you have to take everything apart later on to repair it again. If you have another seal on hand, change it again. If you leave this as it is, or fix it, and it fails, are you okay with doing the entire job again? That's really the question to ask yourself. If it were me, I'd replace the seal again. It's good practice anyway, and you'll be a pro the next time you have to do one.So finally I got the seal (new OEM one) come in using the seal driver. Still 2 things though:
- The seal went in, though even across all edge, a bit too deep ( like 1mm). Is that still okay?
- The inner ring of the seal has small crack (probably due to being pressed be the seal driver’s bolt ). Is it okay to put some thread sealant there? I would hate to have to buy a new one and do all of this over again.