Bob, they seemed a bit overpriced.

If you shop, you'll find a very good drilling in the $2500 to $4500 price range.

These are just my opinions, but here is what I think is a "good drilling".

You only want a 16 gauge, they are light weight and most common. 12 gauge are too clumsy and weigh too much. 20 gauge guns are much rarer and the price will be higher.

You want a gun in one of these three calibers so you can buy good ready made ammo: 8x57 JR, 8x57 JRS or 9.3x72r. All functional for boar, deer, and black bear.

If you choose a 16ga gun with a rifle in the above options, you also want 27" barrels. This configuration makes for a 7 pound gun that handles like a well made shotgun, not like a heavy boat oar.