OK. I just got email from Pete. This is what he wrote:
"All three are 8 AWG... the 8C one is an "Eight Plus" whereas the other two are original "Eight Americans"...
Pete"
So the cable with serial number starting with 8C is the newer Eight Plus, which I incorrectly thought was 10 AWG.