ECN Forum Forums Code Related Discussion NEC & other Code issues Grouding conductor on 4000 amp service

I am currently working on a theater with a 4KA service. Service conductors from pad mount transformer = 8 sets 4 conductors 750MCM. After consulting table 250.66 and the following notes,
I am confused on how to determine the grounding electrode conductor.The EE calls for 250MCM copper. Is this correct?