Now is the Back To School season, so maybe it is a bad time to buy. Is it better after maybe September 15? Do we often see sales? I've noticed that when Costco has a good deal, it's a really good deal. So are any of these good machines? I'm really interested in the cheaper ones. I didn't really like the HP Pavilion I bought last year -- very weak WiFi, I thought. http://tinyurl.com/l7ywqhx [costco.com] Are some brands especially good for Linux and some not so good? Mike