As you know or should know, July in Tennesse can get pretty hot, as in above 90 degrees. Any body use a fan of some sort for tent ventilation?