Yep just ran the pulley that came on the pump
The differences in pulley sizes don't amount to a hill of beans as far as the pump pressure is concerned. anything from a 5" to a 6 and a half will work. Try and get the GM Diesel truck pump, most pressure in a stock pump.
I have heard of only one guy that had to change the pulley, (easy to do), and that was because he had the boost and the steering both
TOFIC