I was going to replace the idler pulleys on the front of the motor and was thinking that when I put my whipple on I switched the top idler on the drivers side. What size pulley is that? It doesn't match the Ford one that I have so I'm thinking it came with the kit but it's been so long I can't remember. Anyways I want to buy a new one and am unsure of the size.