行业消息人士称，贸易公司托克已将一批委内瑞拉原油出售给西班牙炼油商雷普索尔。