I posted this in a hurry before I even looked under the hood. Turns out that the alternator belt slipped off (and was just installed by dealer about 3000mi ago. Anyone have directions on how to put it back on?