The "old man" also called the 9.3x72r an "elephant caliber". I have never shot an elephant, however, if I were to give it a go it would be with something with a bit more horsepower than a 9.3x72r.
The shotgun barrels looked pretty pitted from the quick view they gave.
tunes
I've not shot an elephant either but the 9.3 round is an old German caliber that was used extensively in German Africa and one did indeed kill elephants with it. The round has become popular again as 9.x74R and makes a great boar round - that was my intention when I got my DR in that caliber.
However, many African countries do no longer permit the 9.3 to be used on DG and make the lower limit the .375 which I believe to have been politically motivated since the differences are inconsequential.
Just in passing, I think the 9.3 x72 is truly obsolete and it's a real b!tch to find brass - the profile of the cartridge is different - it's not just 2mm shorter than the common 9.3x74R
Sorry I missed that episode - those old drillings are really great guns!