It sounds reasonable to me. I priced out a DIY setup when I bought my house a few months ago, and I came up with ~$6000. I priced new panels and what I would consider more reliable batteries which accounts for the cost difference.