Thanks for that link, Steve. It seems to start from a later generation of engines than the HK25 & 30, but it looks like a useful manual.