My brother has a 96 cobra with a d1sc procharger and I was wondering if anyone here knows what size belt or what part number for the belt he would need... running a 3.2 reichard 6 rib Gates or Gatorback?