I was planning on replacing it during my next oil change. It is necessary to remove the cooler lines when replacing this gasket. I figured it was a messy PIA job, but after reading Mark's post, I might just live with the small leak.

Tips,

JCD