Well, i'd say he's wrong. I'd be willing to you got KR now. With a 3.5, expect that to jump a bit. You ain't ready for a pulley swap yet, you need more work first...

Get the headers, rockers, get a tune or a tuner, scan it, then think about doing a pulley swap. Your pistons will thank you...