Jerry, are they also 6" diameter (or less) pulleys?