Anyone know which model of Alienware this is? It's got discrete graphics, it's all red on the back, and someone is selling it for $300