TB42e EECS relay output voltage?

[shortgqturbo]

Hi all

I am installing a haltech into a carby 4.2 gq and am using the factory Crank angle sensor from the tb42e. I have found the pinouts from motec for the rb30 and am pretty sure its the same cas. Can anyone confirm that the eecs relay outputs 8 volts and not 12 to power the cas and air flow meter? I am not using the air flow meter but on the diagram they share the same power from the eecs.

just a quick check at the pins to the cas would be a real help

Cheerscas pinout.png