OK. I'm not necessarily confused but have an additional question. Don't use the passenger pulley but use the truck pulley. Pulleys are the same diamater. The only difference is the belt width of 1/8". Is that difference in diameter enough to make a great enough difference in the pump speed?

I measured mine. I measured twice. I could have sworn the pulley diameter is 7.75 inches. Now I'll have to go back tomorrow and measure again.