Read that again.... you misunderstood what I was saying. I believe you are fine.
It is, in my mind, fully legal if the version of software that the Restore media places on your drive is the same OS version that came with your workstation. I'm sure MS would not care if you used a borrowed restore media that had W7Pro64SP1 instead of your original restore media that did not have SP1 included, for example.
Here is a contrasting example:
Let's say your workstation was from the era during the shift from Vista to Windows7Pro. Your workstation might have a built-in BIOS identifier that could be used with both Vista and W7Pro Restore media. If your sticker says Vista it still might accept your friend's W7Pro64 Restore media (assuming the same BIOS identifier could trigger both OS installs if you had one packet for each). Just because you could get away with installing W7Pro64 from that media in that case it would not be legal. But if your sticker says W7Pro64 you're good to go. By the way, MS lets you shift back and forth from the 32 to the 64 bit version of W7 at will. And, HP has included some paperwork in the packets at times that lets you legally shift from one OS to the better more recent one if you bought your workstation in a window of time when a big shift in OS availability from MS happened.
There are some cases where HP gives you the choice of what to use and gives you Restore media for two OS in your packet..... W7Pro64 or W8Pro64, for example.... that is fine too, just as long as your paperwork specifies what you can do. I still believe that MS cares about this, and for enterprises it is quite important to stick to the rules.
