You are wrong, TECO does not average 9.8 BPD, I think you are quite wrong. Those numbers are from October/Nov when production was high. No numbers for December have been reported, and January's numbers are missing too, If anything they are making less then 9BPD