When using an aftermarket pulley on the supercharger, which rib belt should I use. I am ordering the gatorback 74.5, but, i'm not sure if I should get a 4, 6, or 8 rib belt. All my other pullies are stock.