typically a 3.2 is. but being your in thin air, a smaller pulley might fly.

id try tossing more timing at it as is too. i had a local here on a ssic and a 3.2 and got him to 18 kr free. we just stopped adding there cause it felt good. didnt want to push it to far.