Nice to see that everyone is enjoying their pullies in their boxes
I think the gates belt K060725 should work with just the p/s pulley
And K060730 will work if you got both of them on
Rance, best would be to underdrive p/s and if you visit the upper rpm range often

alternator would be a good idea too