You never know about older German/Austrian guns until you measure the bores. My wife has a combo gun with a 16-gauge barrel over what’s supposedly a 9.3x72R barrel. The guy she bought the gun from even included a box of RWS 9.3x72R ammo, half of which he’d shot in the gun. But when I measured the bore it turned out to be just about exactly .35 caliber, so we load those same flat-nose 180 Speers at around 2000 fps. They do work great on deer!
