I'm going to wait until WWDC, and maybe even october. From the speculation i've read, the 17'' won't be LED for quite a while. Will it be longer than october? Should i just get the 15'' because it will be LED and that more than makes up for the lack of size?