Just the one should do it :D , btw did the late model change to the square tooth profile? as opposed to the starion round tooth. Is this correct?. Also what timing belt did you use for the 4G64 DOHC setup?
U need to look at yr bottom pulley to make sure if its a SQUARE or ROUND TOOTH, that will determined what U need, but STD 4G64 had Round, as for belt...... 154X29RU is what U need, most Performance shops can get it, Do U have a DOHC Head for yr bottom end? :beer