@lattera I got one of these: https://www.whynter.com/product/whynter-elite-12000-btu-dual-hose-digital-portable-air-conditioner-heat-drain-pump/
I like it, I still keep my office close to 80 because I don't like to waste power, but it keeps that edge off