Does anyone use an Dell XPS15 or M3800 laptop? I am looking at these two models, or perhaps the developer edition with Ubuntu pre-installed. I have read that these machines get really hot...to the point of the machine crashing. Just wondering about anyone's personal experience. Also, any recommendations for other brands? I am looking for a core i7, at least 8 GB or RAM, and a large SSD to run Debian. Many of the "native linux" machines are huge and thick....I liked these two Dell models as they have a sleeker design and don't weigh 10 lbs. Any thoughts on whether to have a small SSD for the OS and a companion hard drive for data, or just blow a wad on a huge SSD (1 TB) for both OS and data? Thanks, Mark