HDJ100/80 Starter terminal torque (1 Viewer)

[TurboDennis]

I feel like an idiot posting this. I just spent an hour searching through every possible repair manual for 1HD engines, and both 80 and 100 chassis manuals for the torque value for the starter wire terminal nut and couldn't find it listed anywhere. It's a 17mm nut threaded onto a copper stud. Does anyone know where to find the proper spec?