“does it comes with the windows 7 disk just in case you want to format the hard drive.”