I wudnt of thought with an rb25 wit cams the to4e wud of been THAT bad? My mate has a HKS to4e which comes on full boost (18-20psi) by 4,500rpm, on an rb25 that would be lower and again with cams, but maybe the hks/garrett turbos are quiet different or i have the model number mixed up and its just a to4 or somethin.
Define 'laggy' in ur opinion...
As for tuning make it a power fc no question. You can also tune it for abit less lag if you spend some extra time on the lower rpm's.