Very good question...
IMHO doing it old school is always better. Less bloatware that comes with the preinstalled operating system. So formatting HDD including the recovery partition. The downside is you have to download the drivers from
HP website.
Now if you want (in the future) to restore it back to factory, you can order the CD Recovery Discs (see same page on the link above).