This is the car I sold in early July. New owner has put 5,000 miles on it. Not sure about the exhaust leak he mentions. It may be true given its the original exhaust and I never did anything with it.
Great, reliable car if anyone is looking....
https://okaloosa.craigslist.org/cto/d/2000-porsche-boxter/6709785208.html