since we are on the subject of power steering pumps and such. While looking through the yard I noticed various size pulleys on a number of pumps. Majority from 4 to 6 inch diameters. Anyone know if there is a certain diameter pulley I should use?