Thanks to Jay WS7I, I have scanned and posted a bunch more HAL manuals