^ as stated, if so, what are the models available? And include the pricing too if possible :)
Alienware should be with Dell. Dell is coming down, so there should be some Alienware models. Not sure on which models are available yet. See if I can get some news.