Anyone that has gotten the 'session details' email for WWDC, do those laptops look like 15" and 17" models or is the one on the right actually a smaller size? The one the guy in the yellow is using really doesn't look 15.4" in size and yet doesn't look like its a 4:3 ratio, or is it. Opinions?