Looks like I was able to answer my own question: found what looks to be the correct procedure and uploaded the pdf here: https://drive.google.com/file/d/0B74-N2p_H8KdUXhsSFJOY05nUDg/view?usp=sharing&resourcekey=0-neTJitucIKqhMuRE3j419A
Timing belt starts on page 9.