How were you able to find the dimensions of the OEM belt? That will give me a starting point to look at Gates etc. Thanks for the Amazon link too. The OEM belt is $100 at the dealer. Now I have to look for aftermarket metal pullies, and get rid of the plastic ones. Thanks