You're very welcome.
I hope they don't.
The recovery disks you made from the other model may be serial number dependent.
All I can say is give them a try and if they work, great.
If not, you can order a set from HP by clicking on the link below and then click on the link labeled Order Recovery Media.