Anybody meas around with one of these.: https://rollibot.com/product/mini-split-ac-room-air-conditioner/
It's 10000 BTU but the outside condenser and ductless operation seems perfect. Could even drill the floor for install instead of the walls or ceiling. Massdrop has it for 399 which is almost cheap enough for me to give it a shot. If it had a super low or eco setting it might work.
The 10000 BTU size would make me think it would want to freeze up.
I would be interested in hearing from folks that have tried one or seen one in action.