[Dmitry at Pelican Parts]

In addition to what you're doing, check the belt as well (recommended every 5k miles or so) - I attached a tech article from our site on this procedure if needing to be changed.

Porsche 911 Carrera Belt Replacement - 996 (1998-2005) - 997 (2005-2012) - Pelican Parts Technical Article