is there any way where i could find out the pulley size? I put measuring tape next to it and it looked like it was around 3.5 or 3.6 but i couldnt tell, there was barely any room