There's a pretty good chance you won't need any drivers other than those included on the Win 7 disk.
I'd probably download the Ethernet driver from HP in case I didn't have an Internet connection after the new install.
After the install, examine your functionality and take a look in Device Manager. If functionality is OK and Device Manager has no errors, you should be good to go without any other drivers.
I wouldn't obsess over the "latest and greatest" drivers unless I had particular issues. If it ain't broke........................