Has anyone looked into if the Thunderbolt 3 is using 2 or 4 PCIe lanes? I have heard mixed reports from Dell's own website (4 lanes for 40Gb/s) and reviewers with the laptop (2 lanes for 20 Gb/s). I have done a lot of digging around but can't find much info.