the set-up disk that came with my wife's hp pc has been
damaged. now i need to re-format her machine due to virus-
induced collapse of os. do i need to obtain a duplicate
set-up disk? (i still have the manual and product id). or
are there other ways to restore the os after format, as
with xp?

thanks