I was just explaining why the FSM was written the way it was.
Besides, the chances of someone having a 12" wrench that fits that nut and a 5 pound weight right at their finger tips are pretty slim. I know exactly where my in-lb torque wrench is plus a socket and adapter to attach to it. So why not use it?