Thanks for quick reply. And what should I notice / care about if I decide to buy online. I heard that I must use same mHz speed for both RAMS. Wouldnt more than 4GB work in 32bit UBUNTU 12.04 ?

Does anybody happen to know whether the Latitude Ultrabook 6430U have WiDi? Is this information for each laptop mentioned on the website? This has some other kind of wireless technology - WiGig - which supports a new wireless dock that Dell has launched (D5000). So, I'm not sure if this is

2) I am asking question 1 because this machine had a virus... which upon rebooting to complete removal the machine would show the windows moths flying around and coming together, than a fast flash of a blue screen with white letters, then it would begin to boot again... in an endless loop.