No, but I do have a fan in there now (pointed right under my Leaf) and it did seem to help in the worst part of the summer here last year. On 100+ degree days, it brought a 90+ garage down to 80+ by the time charging kicks in early in the morning; the "proof in the pudding" was it lowered 7TB (when I parked at night) to 6TB (at charge time).
Your question is a good one, but probably unnecessary for someone NOT in an extreme heat area who doesn't see a lot of 7TB readings. If I can get by in TX without garage A/C, I would think a lot of places can. Obviously, I only use the fan on those 7TB days.
2011 Blue Ocean SV w/floor mats & window tint
12v LiFePO4 battery & FIAMM 74100 horns
Wet Okole seat covers (front)
Tor's low-power heater mod
2013 sun visor
3G modem upgrade
L2 EVSE Upgrade
Battery Pack replaced (Rev E) @51 months and 41k miles