Also, remember, it takes into account your video card's RAM as well. Are you running SLI'd cards with 512mb each? Or do you have a single card w/ 1GB memory? 32Bit OS's can only read up to 3.5GB, so that could explain where your missing 1gig could be.