if I'm going to be running windows 7 through bootcamp almost full time.. would it better to get the 15" with 9400m only since the other models I've heard default to 9600 under windows. I don't play games and want to have good battery life while using windows.. so does the 15" w/ 9400m only seem like the better option for this?