Good evening, oldfred,
A follow on to the matter of getting HP recovery disks. After quite a frustrating session on HP's on-line site I finally got the phone number to call for HP notebook (ProBook 4525s, Win 7 32-bit) and a helpful rep placed the order. Arrive in 2-3 business days, price is $10.60. The phone number is 1-800-888-0262.
Thought you and others might like to know this.