If he has GT40 heads he definitely has the wrong plugs. Good call Emilio. I just looked it up and the 3924's have a .750 reach, but the GT40's require a .460 reach which is what the autolite 25's.
If he is to go 1 heat range colder he should get 24's though. 25's are for stock iron heads.
If he is to go 1 heat range colder he should get 24's though. 25's are for stock iron heads.