anyone got the dimensions for the pulleys on the aux belt? got a pair that aren't boxed and can't for the life of me think of what they are for?