No, it’s more likely their own oil + Mexican. The oil in this region is famously very heavy and difficult to refine, well at least that’s what i’ve been told in Mexico. It’s always been the “go to” excuse as to why we send our oil to US refineries and buy the refined products instead of just processing it ourselves.