Manual for Watkins Johnson Microwave CW source WJ-1165-6, 12.4 to 18 GHz