My buddy just got his first porsche which is a 1995 993. The belts need to be replaced, can someone give me some step by step instructions or pointers as to getting them off and then putting them back on. I'm knowledgeable w/ american muscle, but this German stuff is all new to me. I love it by the way! His car is absolutely amazing to drive at high speeds on the highway. I will definitely own one before too long. Anyway, any help would be greatly appreciated! Thanks--Andy