I asked and got one pretty quick, Friday after lunch and it came today with UPS.
Since there was talk about HP's spiral bound manuals used in the past. I thought you may be interest to know the value of the manual is apparently 1.88$ printed in China.
Which makes me wonder why HP choises to ship them on request. Time on a 800 number, the call takers wage, the UPS shipping, must add up unless really few ask for the manuals?
Dimitri