Is there a workshop near you that can machine the pulley to the correct diameter?