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.