Thank you for the quick reply. Can a DIY'er do the timing belts? Alternatively, how much should I expect to pay a shop to do them? The reason I ask is that I also own a Porsche 944S where doing the timing belts is $1K. That is A LOT of money for me.
Thanks!