Yeah, I agree the Ti4200 is more powerful by far, and it's so hard to go with a 64-bit card even if it's a DX9. Plain 9600 is a different story though.
Only thing to remember about AGP 4X Ti4200's is the 128MB ones are only clocked 250/444 instead of 250/513 like the 4X 64MB or the 8X 64MB and 128MB cards. Still not bad though.
If he is in the US and can order online, he should go with <A HREF="http://www.z-buy.com/product.asp?item=VG-M8894070" target="_new">this 8X 128MB</A> clocked 250/513. I got mine today, and it's still being stress tested as I type. All is well after about 1 hour.
<A HREF="http://service.futuremark.com/compare?2k3=3400555" target="_new"> My</A> <A HREF="http://service.futuremark.com/compare?2k1=8268935" target="_new">Gamer</A>