Wow!
That is one heck of a hunting story about one apex predator trying and determined to kill the other. I love my 9.3's too and it worked, but your experience makes me think a little more horsepower for these big beasts might be more reassuring. Forget about a .338. That dude soaked up a lot of lead and ft.lbs. before giving up the ghost. I'm thinking something .40 cal'ish might be more ideal. Like .416 Ruger, Rigby, or even a big double might be better. That's what they hit 'em with in Africa, especially when things get up close and personal.