No they don't. The newest model of those use Infineon B chips. Either way, it doesn't really matter since he's not going to be overclocking too much.
The 9600GT is only $20 more than the 8800GS, and is significantly faster. It's a great deal, definitely the best in that price range. It's a much better deal than the 8800GT, which is still overpriced.