Just curious, does anyone's hard drive read 233 gigs total free cause that's what mine reads.. but I have a 256 gig hard drive.. I know it reads as 250 gigs after formating .. and maybe those additional 17 gigs are used for the OS but shouldn't it still read as 250 gigs free ? This is what it looks like