Dell XPS 17 (2023) vs 15 (2023): Does size matter?