RTX 3080 Ti in laptops van 4000 euro - Alienware x17 versus MSI GS77