I also had this happen on my old 2000! By the time I added up the costs for a rebuild, it was cheaper to buy a used TIP and swap them. I put another 20,000 miles and a coast to coast road tip on the car and trans before getting another Porsche.
Brian