Dan, I scanned the thread and am sure someone already recommended what I am to say. One gallon is probably a bit light in volumn. I use two gallons of Tough-Quench and really think I'd better using even a little more.
I have found Tough-Quench requires a learning curve too. The pre-oil temps for it differ for me than plain ol'off-the-shelf vegi oil (see * below). Tough-Quench is the deal but I am still learning it for different steels. Do samples at various oil temps and quench times. Anyhow, that is my observation from many hours with it.
* I can do O1 at about 105 F oil temp and 10XX pretty well at about 127 - 130 F oil temp.. Quench time depends on thickness and overall mass. Big blades: about 2 minutes (believe it or not). BUT ALL I WRITE ABOVE is for full quench. Edge quenching is not relative to any part of my posting.
I went back and looked at the notes on your big 5160 Mobby. I see that I first edge quenched it at 134 F and it turned out a failure. On the second and final attempt I edge quenched it at 125 F. The oil volumn was probably no greater than one gallon and it was Brownell's Tough-Quench. You know the rest of the story as to edge retension. So, I'd guess with edge Tough-Quenching 5160 about 125 F should get you through a battle or two.
RL