RTX 4080 Laptop vs Desktop - How Big is the Difference?