At home, I’ll have a docking station and an eGPU with a powerful video card (such as Vega 64 or Radeon VII). Would you prefer the 13”, i7, 16 GB, 512 GB or the 15”, i7 2.2, 16 GB, 555X, 512 GB? From what I’ve read, the 4c i7 in the 13” is actually faster in almost all scenarios than the 6c i7 in the 15”. The price difference (about $US 200) is negligible. What would you chose?