A large window unit will take the edge off. There's a 25,000 btu window unit (no window, just a hole in the wall!) in my 3000sf shop. Last weekend it was 100° outside, but it was about 85° inside. It's really too small and runs all the time, but it makes the shop usable.