The reality is that it's difficult to extract and not terribly cost effective. There's actually a surprisingly good dive into the whole thing from CNN of all places https://edition.cnn.com/2026/02/03/business/venezuela-oil-russia-india-trump-tariffs