Hi, a friend has asked me to format his laptop as he had some viruses. The problem is that the laptop did not come with any OS installation disc, and presumably he needed to burn his own recovery discs. Having read bits here and there it seems that on startup I should be given an option to burn thes...