Not sure if anyone noticed that the 15 lbs ref was talking about the exhaust header bolt?
The FSM shows 8 foot pounds. I'm sure a higher end of the inch range would be more accurate. The other set of bolts did not have the problem. I set my torque wrench (which was already over sensitive, not under) to click just before the existing bolts moved. It all added up, I accounted for the sloppy Sears wrench, which I had already developed a memory for, and the replacement set of bolts did not stretch. And everything is still working wonderfully.
As no one has ever run across this, I'm not in a hurry to do anything else to this motor.