Should I get an alienware X51 900$ model or a Lenovo y40

Are you kidding me… Of course buy an alienware, it is durable and gives best in class performance. I can tell you by my experience, my friend bought lenovo y40, it's not good, actually games starts to lag when it is not charging.