Service menus for GE 13TVR72

Hi, I can't seem to find the service manual for this particular CRT anywhere online; I've tried looking at other manuals for other TVs with the same tube to see if the service manual instructions would be the same as I had seen advised in other threads, but no dice. Was wondering if anyone had any advice here.