hp envy

Hi, I was checking these laptops. Hp Envy4 sleekbook 1025tx which has i5-3317U, 3rd gen, 1.7 Ghz to 2.5Ghz(on turbo boost) Lenovo Z580--i5 3210M,3rd gen 2.4ghz to 3.1 ghz.. Hp pavilion G6--i5 3210M I am very much interested in buying hp envy4 becoz of its luk and sleekbook, but was...

Hey! I'm going to buy HP Envy 6 1002TX on this Monday itself. Need it just for programming. Will bid Windows good-bye as soon as I get it. Only this looked to be a feasible portable solution. If you know, can you please tell if there are any issues with this notebook? Processor etc compatibility...