No, them leaking isn't really a big deal, compared to piston rings. I wouldn't worry about it either since you're replacing it. Just keep an eye out next time it's apart, see if the same cylinders are gunked up.