Those are competitive prices for my area. The Bengal tends to run in the $5,000 to $6,000 range and the Bahia tends to run in the $5,500 to $6,500 range. Personally, I would recommend the Bahia. Has a little more pump action then the Bengal, but not as good of a warranty.
Chris H