the t25 will do just fine for him. We ran one on a 1.6 SOHC(yes I know he has a dohc) and it did perfectly. It should work just fine on his b16, it may falter a bit up top, but it won't be terrible...at least he will have the low end and mid-range where the b16 lacks it.