I really wanted a ~700GB option, and 1TB may be too much, so in the effort of saving money on this already ludicrously priced laptop I may reconsider and purchase a 512GB one. My question is, how much space will I have on it, after formatting and the OS installed with one user account on it? About 480GB? An estimate will do. Thank you!