...but is Hot August Nights a Celebration of some kind? Like how FLA has "Christmas in July", or Tombstone,AZ has "Helldorado Days", or Tuscon has "Rodeo Days"?