ERCOT does have several HVDC links, which when I checked a couple hours ago were exporting power. Also, I believe that with modern technology HVDC is more efficient than synchronous AC connections (largely because of higher voltage interconnects)