The HP support site will have a list of all the drivers available for that model. Just enter in the serial number of the unit and it will take you to them.
I was trying to find the page you refer to on HP, but I can't seem to find it. Do you have a link (which is always helpful and speeds up things anyways). Since the HP site is sooo confusing (to me) I would be very happy, if you have an idea where to start.
From the usual driver page I don't get anywhere
Thanks in advance