Pulley sizing is a pretty specific question, and since we don't really deal with those particular cars, I'm not sure anyone is going to be able to answer that for you.
__________________
-Harry
AIM: NDcissive
CRX and Pre '92 Civic, Engine Tech and Tuning, & Track and Autocross Forum Mod