Exactly. That's where the leak is, isn't it? Or, did I read the post wrong? However, I must concede that Ian has years of experience with these engines and I'm just on my first.
Just seems like false economy not to replace both when the cylinder's already off and you've gone to the trouble to source someone with that specialty tool.