Hi, I'm buying a laptop for work/gaming and need something very high end but still very portable. I will be doing heavy CAD, video rendering, and gaming. My budget is around $3,500. I'm thinking something like a Core i7, SSD, etc. I have looked at the HP Envy line and Sony Vaio Z's. Does anyone have any opinions on these or similar machines? Thanks!