Most of your points are very good ones, but one thing jumped out at me - in my experience, 12000 BTU 110v mini-splits aren't that hard to source, nor crazy-expe

Most of your points are very good ones, but one thing jumped out at me - in my experience, 12000 BTU 110v mini-splits aren't that hard to source, nor crazy-expensive, in the US. Super worth it, too, if you can manage it.