4 ms·

I'm totally on board with it being a most-of-a-day job, for two people probably. But not $10K for a mini-split.