I am helping a friend install a paxton sn-93(or whatever they are called) She needs help figureing out what size belt to run. She currently has some bigass water pump pulley, and the factory A/C delete. I told her I would give her my old water pump pulley. Whats the belt size for a factory A/C delte car? I am thinking 84.5, but don't know if I would bet money on it.