I finally noticed that there's a little clip-on fan that's been up here for a long time, but it had stuff on top of it, so it wasn't easily seen. I clipped it to the front of an open drawer, plugged it in, and am feeling very cool, right now!