So it sounds like you'd be hiring the install out to a pro. That's fine but generally costs 2x what it might run you if you did the labor and purchased the items yourself. Either is fine, it just can greatly change the payback period for your solar.
A lot depends on what you are trying to do, be totally independent from the grid, just have a backup for critical circuits, or design something that starts with the later but can be grown over time to the first. Whether or not you intend to sell back to the grid and your local PoCo rules may come into play. And if this will be an inspected system then your building dept rules will matter as well.
Once you know the answer to these Q's about what you are trying to do, and what regulations/inspections you need to pass, then it should be possible to get more specific about the equipment you mention. But as a first pass, Sol-Ark is a good quality AIO, many people like them, but they are priced fairly high. The EG4 batts have a generally good rep too, but IIRC are not certified to work with Sol-Ark. Again it all depends on those details I mentioned above. If your AJH requires UL9450, that inverter/batt combo may not pass. If you will not be selling back to the grid, there are less expensive inverters which do not have the certifications for sell back which would work for you. Etc, etc.
Keep in mind, many installers have a favorite group of equipment they like to sell. They push that, regardless of whether or not that is the best solution for a given customer. By educating yourself about the design choices and trade-offs, you can make an informed selection of the equipment that best fits your needs.
