Does anybody know what size belt you need to use the GReddy pulley kit without skipping the air pump pulley? I tried searching for this topic, as it seems like a question that would have been answered before. Search results came up with no hits.

 

Does this mean that nobody knows what size belt needs to be used in this setup? It shouldn't be much bigger than stock. I could take the stock belt and pulleys out and find the difference myself, but it'd be much easier if I didn't have to take everything out of there before I have everything I need to put it back together again. If somebody knows, please speak up!