Trying to reformat a HP Pavillion dv6700

Hello,
I am trying to reformat an HP Pavillion dv6700 due to viruses that are causing issues with my wireless internet. I unfortunately do not have access to a boot disk or the original disks from the computer. I was wondering if anyone could assist me on how to get a copy of those without a fee or what other options I have for getting a licensed copy without cost or a very very low one. I have the OCHO disk, but would really like a licensed copy seeing as how it is for a friend