For posterity, I decided against both inverters I was originally looking at and bought the Sol-Ark 12k. The deciding factor was its limit to house feature. I was also considering the Schneider XW pro 6848 but Sol-Ark seems to do exact what I was looking for and was easier to install and configure.