GT40 cc size?

FWIW, my 1993 Factory Service Manual lists the 5.0 head (E7TE) at 60.6-63.6 cc and the Cobra (GT40) head at 62.5 cc.

I've not personally cc'd either myself and I'll guess that the numbers on the GT40 are nominal.