Could somebody PLEASE measure the diameter of their stock smog pump pulley and tell me what it is? I'm trying to use a smog pump + pulley off of an 88ish 5.0 cougar, and the accessory drive belt that came with my supercharger kit is acting quite a bit too small. I measured the cougar pulley, and it's exactly 5 inches. I hope the stock mustang one is smaller! Thanks in advance.