@whitequark @gsuberland I've seen they make 12 V-powered minisplits with short hoses for installation in RVs, and I've actually considered buying one to cool down a single, 20 sqm-ish room. They're kinda expensive though if you consider they are only about 500 W.