Eddy Alienware systems at this level are custom built so no AV would be installed.

If it is the Dell version, they do offer an option to select an AV solution during the custom configuration process. So, it is possible a previous AV solution has expired and the OP is looking to try something else. In addition, I know for a fact this rig was available for at least a year because there is a youtube video of someone unboxing that exact model on 04/05/2013.

http://s29.postimg.org/4st5r1ntj/Screenshot_130.png