Haven't done anything with it. I'll just bear the heat this summer. Maybe get a shop fan.
I'm putting the house up for sale next March, so I'm focusing on doing other upgrades and repairs around the house, like fixing bad siding, remodeling the master bath, remodeling the kitchen, etc. I don't want to spend money I wont get back. You know? If I were staying here another 5 years or something, I'd likely mess with the garage ventilation.