I was talking to a mechanic and I asked him who made the best power steering belts, aka won't slip or stretch. He said to go with one that has the teeth on it like the Goodyear belts. However, he thought that the Goodyear belts tended to stretch too much and had to be replaced often. He recommended another brand which I promptly forgot. Any recommendations? He also said that if I was to put a smaller pulley on the pump, it would keep the pressure up better in low rpm situations like rock crawling.