I think the 17 inch MSI GS stealth series is a good choice. Its the lightest and most compact 17 inch laptop i can find at 5.3 pounds and it still packs a lot of CPU and GPU horsepower. It also has thunderbolt 3 and USB type C. As a gaming laptop i don't think the battery life would be good though.
I just double checked, you can get a 4k dispaly if you want
The most up to date version have Geforce GTX 1060 and Intel 7700.
Still looking for a laptop. Did look at MSI, but as far as I can see, no service station in HK. If something goes wrong, have to send it to China or Taiwan.
I've found an Asus N752 selling for HKD12k, which is about USD1.5k! There is the Dell 7000 17inch two in one for about HKD10k, but even for that price, probably better buying online from the USA.
for anyone who still cares, lol, ended up buying this:
https://www.amazon.com/GL753VD-Gamin.../dp/B01MQYO6QQ
Sells in HK for around HKD12 - 13k, bought on Amazon for around hkd8.3k inclusive of shipping.