At this point I fear you'll have to order recovery discs. They are far cheaper than a trip to BB or another OS license.
It's over at hp.com under your model number.
Smart tech for smart students
Forget the pencils and notebooks. Gear up your students with these portable and powerful note-taking machines.