Just in case this helps someone else I've found it now. My A9 board looks like the one here
And as described in the link, the procedure IS detailed in the service manual for the 8752C on page 123 of the pdf. Why HP couldn't put this information into the 8753C manual is baffling.?
