I did a search and really did not find an answer in this section. I am thinking of putting a Hayden electric fan on my FJ. What I am wondering is do you have to change the belt to a smaller one? If so what size belt do I need. Is there a link to a set of instructions on how to do this and what other parts are needed.