Sharps, I would hold off on buying 9.3x72R cases,until you make a chamber cast. A bore diameter of 9.8(cited in the text of the description at the auction site)will likely equate to a nominal caliber of 10.15-10.3. You may need 7x65R,30R Blazer,9.3x74R,Mauser "A"(MB)base, or 43 Spanish base instead.
Mike