Hi Ian,
It would be great if you'd have the book in question to sell. But is it definitely the Hardware Reference Manual from 1991?
Regarding the ISBN it more likely is the "Amiga ROM Kernel Reference Manual - Devices". This one I've got already.
Regards,
Uwe