Thanks guys!

I pulled up the PDF of the repair manual and found it before seeing alaxfire's post...

Woody, I was also able to find a post from you back in 2010, giving detailed instructions.

I forwarded that information to Mike and he's having another mechanic do the repair. $1,300 is a bit steep considering the job takes 3 hours and the part costs ~$100 (Gates replacement).

I appreciate it,