re: #281 HappyWarrior
Yeah D.C. in May averages 75 degrees.
We may get a few days in the lower 70s during El Nino years but not normally. 75 is more like early/mid July temps.